Динамическая/статическая типизация, интерпретация/компиляция и функциональные языки - плюсы и минусы - Священные войны - Обсуждение 1367627 |
|
|
Обсуждение
Всего сообщений: 263
|
||||
| Имя | Дата | Сообщение | ||
|
Читать обсуждение полностью: Динамическая/статическая типизация, интерпретация/компиляция и функциональные языки - плюсы и минусы |
||||
| TheFox | 28.01.2015 15:16 |
https://www.cyberforum.ru/post7159704.html
Вынесено из темы...
|
||
| korvin_ | 28.01.2015 15:38 |
https://www.cyberforum.ru/post7159808.html
Худшие «представители жанра».
|
||
| Curry | 28.01.2015 15:55 |
https://www.cyberforum.ru/post7159900.html
(?
(или (А
(Какие лучшие)...
|
||
| korvin_ | 28.01.2015 17:01 |
https://www.cyberforum.ru/post7160248.html
Так скобки расставляют только наркоманы.
Scheme, CL,...
|
||
| Curry | 28.01.2015 17:30 |
https://www.cyberforum.ru/post7160371.html
Это я специально, подчеркнуть плохую читаемость скобок.
...
|
||
| castorsky | 28.01.2015 21:56 |
https://www.cyberforum.ru/post7161284.html
как Дейкстра когда-то предлагал сажать в тюрьму за...
|
||
| Curry | 28.01.2015 22:13 |
https://www.cyberforum.ru/post7161491.html
Головастый мужик был Дейкстра! Я сюда же фортран и пыхып...
|
||
| castorsky | 28.01.2015 22:47 |
https://www.cyberforum.ru/post7161623.html
Массовое стереотипное(овое?) мышление - это происки zog....
|
||
| Curry | 28.01.2015 22:59 |
https://www.cyberforum.ru/post7161681.html
Не, я признаЮ что в CL, судя по слухам, есть недурные...
|
||
| castorsky | 28.01.2015 23:21 |
https://www.cyberforum.ru/post7161757.html
у ad для каждого продукта свой девкит
то же самое любой...
|
||
| Curry | 28.01.2015 23:57 |
https://www.cyberforum.ru/post7161860.html
Аккурат, я на делфе много писАл. А хаскелем заинтересовался...
|
||
| korvin_ | 29.01.2015 00:01 |
https://www.cyberforum.ru/post7161867.html
Си, чего уж там.
|
||
| castorsky | 29.01.2015 00:14 |
https://www.cyberforum.ru/post7161889.html
вот, вот - когда-то Вы были более проницательным. :)
...
|
||
| Curry | 29.01.2015 00:23 |
https://www.cyberforum.ru/post7161920.html
Это когда что? Когда на делфи писал? Так я и сейчас...
|
||
| castorsky | 29.01.2015 01:25 |
https://www.cyberforum.ru/post7162000.html
(Ну
'(словом
"лисп не читаем, потому что много...
|
||
| Curry | 29.01.2015 02:51 |
https://www.cyberforum.ru/post7162074.html
Если бы. А то на нём что то вроде
(А
(Ну
...
|
||
| castorsky | 29.01.2015 03:05 |
https://www.cyberforum.ru/post7162097.html
сам полином представляет из себя только список...
|
||
| korvin_ | 29.01.2015 09:56 |
https://www.cyberforum.ru/post7162528.html
Что за ересь?
(+ (* a x x) (* b x) c)
Добавлено через 3...
|
||
| Curry | 29.01.2015 10:20 |
https://www.cyberforum.ru/post7162560.html
предупреждать же надо и под кат прятать, а то ещё ночью...
|
||
| TheFox | 29.01.2015 10:50 |
https://www.cyberforum.ru/post7162697.html
Дык сами то типы никуда не деваются, просто определяются...
|
||
| korvin_ | 29.01.2015 11:04 |
https://www.cyberforum.ru/post7162744.html
Это не экзотика.
В ряде случаев никакие проверки не...
|
||
| TheFox | 29.01.2015 11:05 |
https://www.cyberforum.ru/post7162747.html
Читать можно все что угодно. Китайцы с японцами вон...
|
||
| Curry | 29.01.2015 11:11 |
https://www.cyberforum.ru/post7162775.html
есть языки компилируемые в js....
|
||
| TheFox | 29.01.2015 11:12 |
https://www.cyberforum.ru/post7162776.html
Видимо очень многие на этом пишут, только вот где? ИМХО,...
|
||
| Curry | 29.01.2015 11:16 |
https://www.cyberforum.ru/post7162789.html
Проверок (в compile-time) много не бывает. ... а, ну да,...
|
||
| TheFox | 29.01.2015 11:17 |
https://www.cyberforum.ru/post7162794.html
Первые три еще куда не шло, а вот два последних... С тем же...
|
||
| korvin_ | 29.01.2015 11:25 |
https://www.cyberforum.ru/post7162827.html
Бывает. Почитай TAPL, что ли.
Что за чушь?
Это в...
|
||
| TheFox | 29.01.2015 11:36 |
https://www.cyberforum.ru/post7162875.html
Все функциональщики так говорят :) Ну и еще мой препод по...
|
||
| Voivoid | 29.01.2015 11:43 |
https://www.cyberforum.ru/post7162912.html
Может это изъяны в голове, а не в системе типов? :)
У...
|
||
| Curry | 29.01.2015 11:45 |
https://www.cyberforum.ru/post7162924.html
Если в стандарте есть eval - то это интерпретируемый язык. ...
|
||
| korvin_ | 29.01.2015 11:51 |
https://www.cyberforum.ru/post7162926.html
1) Функциональщики как раз самые большие любители всяких...
|
||
| pycture | 29.01.2015 12:03 |
https://www.cyberforum.ru/post7162986.html
поздно http://www.typescriptlang.org/
|
||
| Curry | 29.01.2015 12:27 |
https://www.cyberforum.ru/post7163113.html
Пасиб.
Как то я ... мимо прошёл. Билл Гейтс - голова!
|
||
| Voivoid | 29.01.2015 12:41 |
https://www.cyberforum.ru/post7163170.html
Я не осилил. А что там в двух словах? Надеюсь не что-нибудь...
|
||
| korvin_ | 29.01.2015 13:00 |
https://www.cyberforum.ru/post7163266.html
http://newstar.rinet.ru/~goga/tapl/tapl003.html#toc1
|
||
| nullxdth | 29.01.2015 13:35 |
https://www.cyberforum.ru/post7163380.html
Что серьёзно? :) В большинстве реализаций CL eval не...
|
||
| Voivoid | 29.01.2015 13:35 |
https://www.cyberforum.ru/post7163397.html
Кто бы сомневался. Только делать из этого вывод о...
|
||
| nullxdth | 29.01.2015 13:47 |
https://www.cyberforum.ru/post7163417.html
Когда человек не знает языка, то конечно код понять сложно....
|
||
| Curry | 29.01.2015 13:53 |
https://www.cyberforum.ru/post7163470.html
korvin_, мдя, альтернативно одарённого Вы...
|
||
| nullxdth | 29.01.2015 13:59 |
https://www.cyberforum.ru/post7163491.html
Ты не понимаешь. Ничего не интерпретируется, в runtime...
|
||
| Curry | 29.01.2015 14:04 |
https://www.cyberforum.ru/post7163510.html
3-4 месяца, надцать лет назад, писал на автолиспе и сбёг...
|
||
| nullxdth | 29.01.2015 14:06 |
https://www.cyberforum.ru/post7163518.html
Твоё впечатление -- впечатление невежды. Lisp -- одно из...
|
||
| Curry | 29.01.2015 14:06 |
https://www.cyberforum.ru/post7163520.html
Я тут действительно непонимаю. И не стыдно в этом...
|
||
| nullxdth | 29.01.2015 14:13 |
https://www.cyberforum.ru/post7163529.html
Ну, во-первых, не строчка, а sexpr, а во-вторых, что тут не...
|
||
| korvin_ | 29.01.2015 14:16 |
https://www.cyberforum.ru/post7163553.html
Лол, ну если Б. Пирс, по-твоему, — альтернативно-одарённый,...
|
||
| Curry | 29.01.2015 14:47 |
https://www.cyberforum.ru/post7163581.html
3-4 месяца, надцать лет назад, писал на автолиспе и сбёг...
|
||
| TheFox | 29.01.2015 14:49 |
https://www.cyberforum.ru/post7163725.html
Странный аргумент для человека с такой аватаркой, я имею в...
|
||
| Curry | 29.01.2015 15:01 |
https://www.cyberforum.ru/post7163776.html
Тогда это интерпретатор. js в машинный код кое где...
|
||
| korvin_ | 29.01.2015 15:12 |
https://www.cyberforum.ru/post7163819.html
Чего? При чем тут Танненбаум и Торвальдс и как они связаны...
|
||
| nullxdth | 29.01.2015 15:26 |
https://www.cyberforum.ru/post7163901.html
:facepalm:
Я всё время хочу что-то синтерпретировать, но...
|
||
| korvin_ | 29.01.2015 15:41 |
https://www.cyberforum.ru/post7163966.html
Нет, это всё emacs виноват! Он специально выдаёт...
|
||
| Curry | 29.01.2015 15:47 |
https://www.cyberforum.ru/post7163988.html
Что там с else? "S else <ошибка типа>" - S и <ошибка типа>...
|
||
| korvin_ | 29.01.2015 16:21 |
https://www.cyberforum.ru/post7164117.html
То, что корректная программа может не пройти проверку...
|
||
| TheFox | 29.01.2015 16:28 |
https://www.cyberforum.ru/post7164135.html
Вы же по-видимому (если я правильно понял вашу аватарку)...
|
||
| taras atavin | 29.01.2015 16:34 |
https://www.cyberforum.ru/post7164138.html
Типизация и в c++ статическая.
Добавлено через 3 минуты...
|
||
| korvin_ | 29.01.2015 16:47 |
https://www.cyberforum.ru/post7164192.html
Эээ... У линупсов всю жизнь логотипом пингвин был.
—...
|
||
| taras atavin | 29.01.2015 17:05 |
https://www.cyberforum.ru/post7164279.html
Или машинный код, или "Lisp-машина". Что нибудь одно. О...
|
||
| castorsky | 29.01.2015 17:47 |
https://www.cyberforum.ru/post7164423.html
Не надо отсылать к большинству. Если работа Дрихле...
|
||
| taras atavin | 29.01.2015 17:50 | https://www.cyberforum.ru/post7164476.html | ||
| korvin_ | 29.01.2015 18:56 |
https://www.cyberforum.ru/post7164759.html
И? «Аппаратные» Лисп-машины сейчас достояние музеев разве...
|
||
| taras atavin | 29.01.2015 19:10 |
https://www.cyberforum.ru/post7164809.html
Их всего было 7 000 штук. А для кого пишется весь...
|
||
| castorsky | 29.01.2015 20:16 |
https://www.cyberforum.ru/post7165062.html
Для этого инструмента лучше чем лисп Вы не найдете.
Это...
|
||
| korvin_ | 29.01.2015 20:33 |
https://www.cyberforum.ru/post7165134.html
Вопрос и ответ в одном флаконе. Все современные компиляторы...
|
||
| Curry | 29.01.2015 23:08 |
https://www.cyberforum.ru/post7165679.html
Программа - как осетрина. Либо она корректная (свежая) и...
|
||
| korvin_ | 29.01.2015 23:55 |
https://www.cyberforum.ru/post7165864.html
Пример уже был приведен. Ну вот еще:
работает, не...
|
||
| castorsky | 29.01.2015 23:55 |
https://www.cyberforum.ru/post7165868.html
Ну как бы Вам сказать. Ваши аргументы против лиспа:
1....
|
||
| Curry | 30.01.2015 00:52 |
https://www.cyberforum.ru/post7166044.html
Что это? Пример как написать программу которая не...
|
||
| castorsky | 30.01.2015 01:54 |
https://www.cyberforum.ru/post7166126.html
Похоже на влияние литературы Душкина.
Ну к примеру куда...
|
||
| Curry | 30.01.2015 09:10 |
https://www.cyberforum.ru/post7166523.html
Не угадали. Холомьев, Шевченко, "Real World Haskell", Simon...
|
||
| taras atavin | 30.01.2015 09:13 |
https://www.cyberforum.ru/post7166529.html
c++ компилится в натив, но для безымянных динамических...
|
||
| pycture | 30.01.2015 09:30 |
https://www.cyberforum.ru/post7166567.html
жаба с сысшарпом пойдут? ктото даже жабаскрипт в код...
|
||
| taras atavin | 30.01.2015 09:34 |
https://www.cyberforum.ru/post7166577.html
Вот как раз джава юзает промежуточный. И кто такой сысшарп?
|
||
| Curry | 30.01.2015 09:35 |
https://www.cyberforum.ru/post7166580.html
нет. "ан масс" это байт-код.
|
||
| pycture | 30.01.2015 09:42 |
https://www.cyberforum.ru/post7166599.html
про JIT...
|
||
| taras atavin | 30.01.2015 09:47 |
https://www.cyberforum.ru/post7166615.html
Двойная компиляция не отменяет промежуточного кода, а...
|
||
| Curry | 30.01.2015 09:48 |
https://www.cyberforum.ru/post7166618.html
Под компилируемым в машкод языком я подразумеваю сразу...
|
||
| taras atavin | 30.01.2015 09:51 |
https://www.cyberforum.ru/post7166631.html
Ксати, было когда то вообще извращение по имени бласт....
|
||
| SmittWesson | 30.01.2015 09:55 |
https://www.cyberforum.ru/post7166642.html
C#. У него есть некоторые отличия от С++. Например в С++...
|
||
| taras atavin | 30.01.2015 09:58 |
https://www.cyberforum.ru/post7166645.html
Но пи-код остался в прошлом.
Добавлено через 2 минуты...
|
||
| SmittWesson | 30.01.2015 10:05 |
https://www.cyberforum.ru/post7166676.html
Шарп смешнее. sharp - резкий :).
|
||
| pycture | 30.01.2015 10:12 |
https://www.cyberforum.ru/post7166693.html
где не вытеснил? конкретнее с примерами.специально для...
|
||
| taras atavin | 30.01.2015 10:23 |
https://www.cyberforum.ru/post7166751.html
Отовсюду. Где то у джит, а где то интерпретация...
|
||
| pycture | 30.01.2015 11:05 |
https://www.cyberforum.ru/post7166884.html
а должен?
|
||
| taras atavin | 30.01.2015 11:33 |
https://www.cyberforum.ru/post7166991.html
Дело не в том, что он кому то что то должен, а в том, что в...
|
||
| korvin_ | 30.01.2015 11:44 |
https://www.cyberforum.ru/post7167031.html
Пример корректной программы, не проходящей проверку типов....
|
||
| Curry | 30.01.2015 11:44 |
https://www.cyberforum.ru/post7167041.html
Привередливые очень привередливы. :)
Вика говорит что...
|
||
| korvin_ | 30.01.2015 11:48 |
https://www.cyberforum.ru/post7167063.html
Т.е. с появлением LLVM C++ тоже начинает выпадать из этой...
|
||
| taras atavin | 30.01.2015 11:54 |
https://www.cyberforum.ru/post7167084.html
1. Она сама на c++ написана.
2. Ну ка преимущества?...
|
||
| korvin_ | 30.01.2015 11:58 |
https://www.cyberforum.ru/post7167100.html
И что?
Это не ко мне, а к авторам например.
|
||
| Curry | 30.01.2015 13:42 |
https://www.cyberforum.ru/post7167460.html
На здоровье. :){-# LANGUAGE RankNTypes #-}
xs ::
xs = ...
|
||
| korvin_ | 30.01.2015 14:14 |
https://www.cyberforum.ru/post7167614.html
Т.е. потребовалось аж внести изменения в систему типов. А...
|
||
| Curry | 30.01.2015 14:40 |
https://www.cyberforum.ru/post7167709.html
Извращаются лисперы, а на Хаскелле программы пишут :p ....
|
||
| korvin_ | 30.01.2015 15:34 |
https://www.cyberforum.ru/post7167929.html
Оно и видно...
Кстати неправильная сигнатура, ибо тип...
|
||
| castorsky | 30.01.2015 16:00 |
https://www.cyberforum.ru/post7168033.html
Ого сколько хаскелистов ненавидят лисп. Это похоже на...
|
||
| Curry | 30.01.2015 16:27 |
https://www.cyberforum.ru/post7168061.html
Я и не собирался его обобщённым делать. Я исправил Ваш код...
|
||
| korvin_ | 30.01.2015 16:45 |
https://www.cyberforum.ru/post7168177.html
Например применить полиморфную show к каждому элементу...
|
||
| Curry | 30.01.2015 17:14 |
https://www.cyberforum.ru/post7168276.html
Пример в студию!Их аргументы конкретизированы - это списки,...
|
||
| korvin_ | 30.01.2015 18:01 |
https://www.cyberforum.ru/post7168468.html
Угу, такой байт-код, что запросто собирается стандартным...
|
||
| nullxdth | 30.01.2015 18:13 |
https://www.cyberforum.ru/post7168525.html
Твой код-то? Ну не удивительно что он плох. Что можно ждать...
|
||
| taras atavin | 30.01.2015 18:16 |
https://www.cyberforum.ru/post7168541.html
Наличие только префиксных операторов - хоть и не великая,...
|
||
| nullxdth | 30.01.2015 18:22 |
https://www.cyberforum.ru/post7168543.html
Ну а в runtime языка может входить компилятор и тогда сорцы...
|
||
| korvin_ | 30.01.2015 18:24 |
https://www.cyberforum.ru/post7168578.html
http://ideone.com/rAuOQh Я даже не могу представить, как...
|
||
| Curry | 30.01.2015 18:25 |
https://www.cyberforum.ru/post7168585.html
Что Вы так раскричались, как будто я не знаю что!? :D
Ну...
|
||
| nullxdth | 30.01.2015 19:02 |
https://www.cyberforum.ru/post7168591.html
Я, наверное, не совсем корректно выразился. Давайте так, не...
|
||
| castorsky | 30.01.2015 19:07 |
https://www.cyberforum.ru/post7168726.html
korvin_, я, кстати, знаю почему автолисп - уродство. В нем...
|
||
| nullxdth | 30.01.2015 19:15 |
https://www.cyberforum.ru/post7168767.html
И сейчас умеет. Ещё и ARM умеет.
|
||
| castorsky | 30.01.2015 19:17 |
https://www.cyberforum.ru/post7168779.html
Ага, и при этом забывает что тотальная ленивость это вовсе...
|
||
| taras atavin | 30.01.2015 19:29 |
https://www.cyberforum.ru/post7168784.html
Ну я то на лиспе не писал, а его квалификацию показывает не...
|
||
| korvin_ | 30.01.2015 19:37 |
https://www.cyberforum.ru/post7168859.html
А макросов, чтоб сделать свой let там нет?
|
||
| castorsky | 30.01.2015 19:47 |
https://www.cyberforum.ru/post7168869.html
Опять глупости? Вы предлагаете переделывать язык ради тех,...
|
||
| Curry | 30.01.2015 21:30 |
https://www.cyberforum.ru/post7169227.html
И я не представляю. Строгость языка такие вольности не...
|
||
| nullxdth | 30.01.2015 21:42 |
https://www.cyberforum.ru/post7169264.html
Хм. Почему это? Почему в байт-коде GC и динамические типы...
|
||
| Curry | 30.01.2015 21:52 |
https://www.cyberforum.ru/post7169314.html
И в машинном можно. Но в машинном каждое обращение к...
|
||
| nullxdth | 30.01.2015 22:04 |
https://www.cyberforum.ru/post7169355.html
Это только в том случае, если GC реализован на уровне...
|
||
| castorsky | 30.01.2015 22:08 |
https://www.cyberforum.ru/post7169378.html
Так только в haskell. Даже в сях void*. :)
Это вообще-то...
|
||
| Curry | 30.01.2015 22:30 |
https://www.cyberforum.ru/post7169443.html
Так в Haskell для его основной рабочей системы типов, под...
|
||
| castorsky | 30.01.2015 22:53 |
https://www.cyberforum.ru/post7169507.html
это еще почему? В лиспе всё указатели и есть сборщик...
|
||
| Curry | 30.01.2015 23:07 |
https://www.cyberforum.ru/post7169558.html
Что то не то. GC должен иметь возможность перемещать...
|
||
| korvin_ | 30.01.2015 23:18 |
https://www.cyberforum.ru/post7169581.html
Эти «вольности» не нарушают никакой строгости. Они просто...
|
||
| castorsky | 30.01.2015 23:25 |
https://www.cyberforum.ru/post7169619.html
Это у Вас ссылки отдельно, указатели отдельно. На самом...
|
||
| Curry | 30.01.2015 23:32 |
https://www.cyberforum.ru/post7169635.html
Функцию f, в которую можно передавать show написать не...
|
||
| castorsky | 30.01.2015 23:40 |
https://www.cyberforum.ru/post7169657.html
Лол, это просто указатели, которых обрезали и заставили...
|
||
| Curry | 31.01.2015 00:08 |
https://www.cyberforum.ru/post7169722.html
... а указатели - это просто числа, а числа ...
Почему в...
|
||
| castorsky | 31.01.2015 00:33 |
https://www.cyberforum.ru/post7169790.html
Как это нет? clr/jvm не в счет? Это неотъемлемая часть...
|
||
| Curry | 31.01.2015 00:54 |
https://www.cyberforum.ru/post7169843.html
Не надо передёргивать, всё равно видно.
В языке Java и...
|
||
| nullxdth | 31.01.2015 00:58 |
https://www.cyberforum.ru/post7169853.html
FFI, конечно же есть. Более того, сам термин FFI впервые...
|
||
| castorsky | 31.01.2015 01:13 |
https://www.cyberforum.ru/post7169879.html
Называйте их как хотите, сути не меняет.
Ладно. Я уже...
|
||
| Kerry_Jr | 31.01.2015 01:55 |
https://www.cyberforum.ru/post7169941.html
В C# есть указатели, только компилировать нужно с флагом...
|
||
| castorsky | 31.01.2015 02:15 |
https://www.cyberforum.ru/post7169966.html
Kerry_Jr, внезапно. Добью уже что ли :)
|
||
| Curry | 31.01.2015 03:13 |
https://www.cyberforum.ru/post7170008.html
Я много языков не знаю, и лисп в том числе. Что тут такого?...
|
||
| korvin_ | 31.01.2015 08:46 |
https://www.cyberforum.ru/post7170153.html
Еще раз повторяю: 1) там всё конкретно, все типы известны...
|
||
| taras atavin | 31.01.2015 10:56 |
https://www.cyberforum.ru/post7170327.html
Причём здесь осиляние? Речь о том, что это не всегда...
|
||
| pycture | 31.01.2015 18:06 |
https://www.cyberforum.ru/post7171743.html
проверил в clean'е. теоретически с его graphrewiting он был...
|
||
| korvin_ | 31.01.2015 18:30 |
https://www.cyberforum.ru/post7171775.html
Хех. Интересно было бы попробовать в каком-нибудь языке с...
|
||
| castorsky | 31.01.2015 20:35 |
https://www.cyberforum.ru/post7172260.html
Миф, стереотип, подставить_своё. Называйте как хотите. Это...
|
||
| taras atavin | 31.01.2015 20:44 |
https://www.cyberforum.ru/post7172290.html
Мешает нормально считать в уме не нотация, а дефицит...
|
||
| castorsky | 31.01.2015 20:58 |
https://www.cyberforum.ru/post7172338.html
Тоже сущая ерунда. Способность к разложению больших чисел...
|
||
| Curry | 31.01.2015 21:07 |
https://www.cyberforum.ru/post7172373.html
Переписал то что Вы пытаетесь сделать на плюсы. Может так...
|
||
| korvin_ | 31.01.2015 23:31 |
https://www.cyberforum.ru/post7172814.html
И? Опять волшебная статикотипизация фейлится.
|
||
| Curry | 01.02.2015 00:04 |
https://www.cyberforum.ru/post7172911.html
Я и демонстрирую что, и на сях такое не работает, и везде...
|
||
| nullxdth | 01.02.2015 01:09 |
https://www.cyberforum.ru/post7173043.html
Сделай на Haskell макросом. Хочется посмотреть.
...
|
||
| castorsky | 01.02.2015 01:20 |
https://www.cyberforum.ru/post7173076.html
Вирт же! Бг паскаля против!
|
||
| korvin_ | 01.02.2015 01:49 |
https://www.cyberforum.ru/post7173117.html
Стакикопроблемы во всей красе.
Нет, ей нужно передать...
|
||
| Curry | 01.02.2015 03:15 |
https://www.cyberforum.ru/post7173164.html
Вот. Только макрос обязан быть в отдельном файле по...
|
||
| taras atavin | 01.02.2015 09:21 |
https://www.cyberforum.ru/post7173274.html
А ничего, что она приоритетная и прежде чем считать...
|
||
| korvin_ | 01.02.2015 11:53 |
https://www.cyberforum.ru/post7173653.html
1) Все типы известны на этапе компиляции, следовательно...
|
||
| nullxdth | 01.02.2015 12:45 |
https://www.cyberforum.ru/post7173820.html
:jokingly: У меня для тебя плохие новости. Твои...
|
||
| Curry | 01.02.2015 12:47 |
https://www.cyberforum.ru/post7173838.html
Будем считать что я не умею объяснять. Возможно, так оно и...
|
||
| korvin_ | 01.02.2015 13:15 |
https://www.cyberforum.ru/post7173925.html
Взял не оттуда, но возможно, там, где я его взял, его взяли...
|
||
| taras atavin | 01.02.2015 14:22 |
https://www.cyberforum.ru/post7174131.html
При том, что я их уже писал.
Добавлено через 1 минуту...
|
||
| nullxdth | 01.02.2015 15:00 |
https://www.cyberforum.ru/post7174261.html
Если ты и писал, то это были какие-то дикие велосипеды,...
|
||
| taras atavin | 01.02.2015 15:10 |
https://www.cyberforum.ru/post7174275.html
Парсер в его книге тем не менее опубликован. Причём,...
|
||
| nullxdth | 01.02.2015 15:14 |
https://www.cyberforum.ru/post7174301.html
Приведи сюда код "мастера". Желательно инфиксного...
|
||
| taras atavin | 01.02.2015 15:28 |
https://www.cyberforum.ru/post7174338.html
Ваще то у него не калькулятор, а интерпретатор бейсика.
...
|
||
| nullxdth | 01.02.2015 15:32 |
https://www.cyberforum.ru/post7174378.html
Код-то скопипасть сюда, по посмеёмся над ним.
|
||
| taras atavin | 01.02.2015 15:33 |
https://www.cyberforum.ru/post7174384.html
Вашего кода не будет. Чего и следовало ожидать.
|
||
| nullxdth | 01.02.2015 15:41 |
https://www.cyberforum.ru/post7174405.html
Вот тебе канонический пример на cl-yacc:...
|
||
| korvin_ | 01.02.2015 15:47 |
https://www.cyberforum.ru/post7174427.html
Так у паскаля же однопроходный компилятор. Наверное и...
|
||
| nullxdth | 01.02.2015 15:56 |
https://www.cyberforum.ru/post7174460.html
Конечно однопроходный.
|
||
| taras atavin | 01.02.2015 16:25 |
https://www.cyberforum.ru/post7174551.html
Прям здесь все знают, какие действия предписывает эта...
|
||
| castorsky | 01.02.2015 17:01 |
https://www.cyberforum.ru/post7174748.html
Это уже все поняли :)
|
||
| Voivoid | 02.02.2015 13:46 |
https://www.cyberforum.ru/post7177710.html
Не вижу в ней ничего корректного. Вообще с такой логикой и...
|
||
| castorsky | 02.02.2015 14:54 |
https://www.cyberforum.ru/post7177978.html
А что надо? Функция, которая ведет себя по разному с...
|
||
| Curry | 02.02.2015 15:07 |
https://www.cyberforum.ru/post7178030.html
Пример рекурсии.
|
||
| korvin_ | 02.02.2015 17:02 |
https://www.cyberforum.ru/post7178576.html
Взаимоисключающие параграфы?
Нельзя. Мой пример...
|
||
| castorsky | 02.02.2015 17:22 |
https://www.cyberforum.ru/post7178686.html
korvin_, что понимать под "одинаково"? Пока склоняюсь к...
|
||
| taras atavin | 02.02.2015 17:23 |
https://www.cyberforum.ru/post7178691.html
А разве нет?
|
||
| castorsky | 02.02.2015 17:38 |
https://www.cyberforum.ru/post7178755.html
Я лучше поосторожничаю чем делать выводы из Ваших...
|
||
| korvin_ | 02.02.2015 17:52 |
https://www.cyberforum.ru/post7178800.html
Речь не о функциях id и show. Речь о функции apply.
|
||
| Voivoid | 02.02.2015 17:56 |
https://www.cyberforum.ru/post7178815.html
Я вероятно не совсем ясно выразился. Имелось в виду...
|
||
| nullxdth | 02.02.2015 18:51 |
https://www.cyberforum.ru/post7179033.html
korvin_, приведи сюда, пжлст, пример с show. Ссылки...
|
||
| castorsky | 02.02.2015 20:55 |
https://www.cyberforum.ru/post7179491.html
у apply одно назначение: "соединить" функцию и список...
|
||
| Curry | 02.02.2015 21:19 |
https://www.cyberforum.ru/post7179565.html
"Сломал" я Haskell с помощью "аццкава" расширения (не...
|
||
| castorsky | 02.02.2015 21:28 |
https://www.cyberforum.ru/post7179596.html
Я думаю что об этом даже вслух не надо говорить. И так...
|
||
| Curry | 02.02.2015 21:58 |
https://www.cyberforum.ru/post7179636.html
К чему тогда Вы этот пример привели?
Добавлено через 3...
|
||
| castorsky | 02.02.2015 22:04 |
https://www.cyberforum.ru/post7179745.html
Только для наглядности. Визуальное сопровождение текста...
|
||
| Curry | 02.02.2015 22:21 |
https://www.cyberforum.ru/post7179815.html
Как он связан с реализациями ПП, о которых речь и шла?
И в...
|
||
| korvin_ | 02.02.2015 22:55 |
https://www.cyberforum.ru/post7179937.html
Зачем ты всё усложняешь?
(mapcar #'print-to-string '(1 2.3...
|
||
| castorsky | 02.02.2015 23:03 |
https://www.cyberforum.ru/post7179971.html
Да, действительно. Постигаю суть вопроса методом проб и...
|
||
| korvin_ | 02.02.2015 23:06 |
https://www.cyberforum.ru/post7179977.html
А если вместо (forall a. Show a => *a -> d) взять (forall...
|
||
| Curry | 02.02.2015 23:17 |
https://www.cyberforum.ru/post7180031.html
import Text.Printf
main = putStrLn $ printf "s=%s i=%d ...
|
||
| nullxdth | 03.02.2015 01:10 |
https://www.cyberforum.ru/post7180116.html
Блин, вчитался. Ну ё-моё. F-то у тебя не функция, со всеми...
|
||
| Curry | 03.02.2015 01:49 |
https://www.cyberforum.ru/post7180341.html
В реальных программах не константы же выводят, тип и так...
|
||
| nullxdth | 03.02.2015 02:13 |
https://www.cyberforum.ru/post7180368.html
Так ведь в Haskell он типобезопасный и всё чекается в ct,...
|
||
| Curry | 03.02.2015 02:38 |
https://www.cyberforum.ru/post7180392.html
Нет. Это не макро. В хаскеле нет функций с переменным...
|
||
| nullxdth | 03.02.2015 02:46 |
https://www.cyberforum.ru/post7180401.html
Не считается. Это всё конкретные особенности компиляторов....
|
||
| Curry | 03.02.2015 02:47 |
https://www.cyberforum.ru/post7180406.html
А где я написал про стандарт? Есть такой компилятор - gcc....
|
||
| nullxdth | 03.02.2015 02:48 |
https://www.cyberforum.ru/post7180407.html
Так ты сможешь всегда опровергнуть ярким примером.
|
||
| Curry | 03.02.2015 02:50 |
https://www.cyberforum.ru/post7180410.html
Я не пропагандирую. Просто трепимся об особенностях языков....
|
||
| nullxdth | 03.02.2015 02:50 |
https://www.cyberforum.ru/post7180411.html
И как же они реализованы?
|
||
| Curry | 03.02.2015 02:51 |
https://www.cyberforum.ru/post7180413.html
Я не могу и не хочу сравнивать с языком L - меня от него :-!
|
||
| nullxdth | 03.02.2015 02:53 |
https://www.cyberforum.ru/post7180416.html
Блин, да причём тут сравнение. Интересует сама возможность....
|
||
| castorsky | 03.02.2015 03:22 |
https://www.cyberforum.ru/post7180435.html
как все запущено :)
|
||
| taras atavin | 03.02.2015 05:49 |
https://www.cyberforum.ru/post7180486.html
Старьё чуть по младше фотрана. basic. Очевидно же, что...
|
||
| pycture | 03.02.2015 06:23 |
https://www.cyberforum.ru/post7180505.html
а зря.. а то возможность использования хаскеля в реальных...
|
||
| korvin_ | 03.02.2015 11:06 |
https://www.cyberforum.ru/post7180931.html
Они как-то сами вставились, видимо глюк форума, я тоже не...
|
||
| taras atavin | 03.02.2015 11:15 |
https://www.cyberforum.ru/post7180953.html
Это при цитировании с форума затегованных форматированных...
|
||
| Voivoid | 03.02.2015 11:52 |
https://www.cyberforum.ru/post7181071.html
Так и что? И какие у тебя там проблемы из-за этого...
|
||
| nullxdth | 03.02.2015 13:04 |
https://www.cyberforum.ru/post7181332.html
Фига се, какие проблемы, а частичное применение? У тебя...
|
||
| Curry | 03.02.2015 13:05 |
https://www.cyberforum.ru/post7181335.html
Рази я удержуся! Сделал, но:
1 ) Без обработки ошибок...
|
||
| nullxdth | 03.02.2015 13:06 |
https://www.cyberforum.ru/post7181337.html
Конечно, потому что это именно что трюк. А вот если бы...
|
||
| Curry | 03.02.2015 13:10 |
https://www.cyberforum.ru/post7181364.html
Блин. Ашибк! В первом файле (Yoba) вместо "input.txt" нужно...
|
||
| nullxdth | 03.02.2015 13:11 |
https://www.cyberforum.ru/post7181370.html
Пойдёт.
|
||
| korvin_ | 03.02.2015 13:27 |
https://www.cyberforum.ru/post7181440.html
Вообще-то это не трюк. Возможность написания подобной...
|
||
| Voivoid | 03.02.2015 13:44 |
https://www.cyberforum.ru/post7181540.html
Лол, а ты что собрался к полиморфной функции-то применить?...
|
||
| pycture | 03.02.2015 14:06 |
https://www.cyberforum.ru/post7181581.html
как только к нему razor и oauth прикуртят так сразу. ...
|
||
| nullxdth | 03.02.2015 14:34 |
https://www.cyberforum.ru/post7181777.html
Аргументы, лол.
|
||
| Voivoid | 03.02.2015 14:41 |
https://www.cyberforum.ru/post7181806.html
Какого типа? :) И какого типа после будет функция после...
|
||
| taras atavin | 03.02.2015 15:00 |
https://www.cyberforum.ru/post7181897.html
А что такое числа тока?
|
||
| Curry | 03.02.2015 16:13 |
https://www.cyberforum.ru/post7182050.html
Кажется, хабр не форум, т.е. ссылаться можно...
|
||
| nullxdth | 03.02.2015 16:27 |
https://www.cyberforum.ru/post7182192.html
Определяется типом применяемой функции.
Добавлено через...
|
||
| taras atavin | 03.02.2015 16:44 |
https://www.cyberforum.ru/post7182302.html
Чего?
|
||
| korvin_ | 03.02.2015 17:59 |
https://www.cyberforum.ru/post7182610.html
Э-м...
main = print $
let fs =
xs =
ys =...
|
||
| Voivoid | 03.02.2015 18:03 |
https://www.cyberforum.ru/post7182627.html
Ну и зачем тебе тогда полиморфная функция как first-class...
|
||
| Curry | 03.02.2015 18:04 |
https://www.cyberforum.ru/post7182637.html
Жаргон электриков. Например, "какой ампераж у этого...
|
||
| castorsky | 03.02.2015 18:18 |
https://www.cyberforum.ru/post7182684.html
Вы - не вся деревня. Тошнит лично Вас. А значит и дядя Вася...
|
||
| pycture | 03.02.2015 18:26 |
https://www.cyberforum.ru/post7182728.html
очередная лабуда ни о чем. где razor & oauth? не говоря уже...
|
||
| Curry | 03.02.2015 18:37 |
https://www.cyberforum.ru/post7182769.html
Только если так как вы писАть. Тогда, наверно и mapcadr...
|
||
| taras atavin | 03.02.2015 18:48 |
https://www.cyberforum.ru/post7182819.html
И каким боком здесь программирование?
|
||
| Curry | 03.02.2015 18:49 |
https://www.cyberforum.ru/post7182820.html
Всё там есть. Своё - персонажи шекспира. Работа с базой...
|
||
| taras atavin | 03.02.2015 19:04 |
https://www.cyberforum.ru/post7182915.html
Затем, что было сказано, что они целые. Причём, в одной...
|
||
| pycture | 03.02.2015 19:14 |
https://www.cyberforum.ru/post7182971.html
- yesod-auth-oauth можно не рассматривать как давно...
|
||
| korvin_ | 03.02.2015 19:19 |
https://www.cyberforum.ru/post7182973.html
А zipWith — лучше? И хорошо, если функция простая, иначе...
|
||
| Curry | 03.02.2015 19:31 |
https://www.cyberforum.ru/post7183057.html
Проиллюстрируйте проблему примером (не на L, я не пойму)....
|
||
| korvin_ | 03.02.2015 19:48 |
https://www.cyberforum.ru/post7183142.html
Открой исходники zipWith, zipWith2 и т.д.
Даже не...
|
||
| Curry | 03.02.2015 20:03 |
https://www.cyberforum.ru/post7183224.html
Я Вам показал как эту же задачу решить в 3 раза короче и в...
|
||
| korvin_ | 03.02.2015 20:22 |
https://www.cyberforum.ru/post7183299.html
Еще раз: открой исходники zipWith и zipWith3. zipWith4,...
|
||
| castorsky | 03.02.2015 20:27 |
https://www.cyberforum.ru/post7183319.html
Чтобы потом спросить "и каким образом здесь...
|
||
| Curry | 03.02.2015 20:27 |
https://www.cyberforum.ru/post7183320.html
Что с ними не так? Вы их не поняли? Бывает.
|
||
| korvin_ | 03.02.2015 21:17 |
https://www.cyberforum.ru/post7183489.html
То, что под каждое количество аргументов нужно писать...
|
||
| Curry | 03.02.2015 21:27 |
https://www.cyberforum.ru/post7183530.html
... а аргументы - списки одного размера? Вы когда ни будь...
|
||
| castorsky | 03.02.2015 21:30 |
https://www.cyberforum.ru/post7183534.html
Упустил я этот коммент. Ну деревня, она и в Африке деревня....
|
||
| Curry | 03.02.2015 21:36 |
https://www.cyberforum.ru/post7183563.html
Не знаю про что тут речь, а N списков, каждый длиной M...
|
||
| korvin_ | 03.02.2015 21:40 |
https://www.cyberforum.ru/post7183569.html
А должны быть? А аргументы zip — списки одного размера? К...
|
||
| Curry | 03.02.2015 21:48 |
https://www.cyberforum.ru/post7183611.html
Сознавайтесь, Вы таким образом хотите научиться Хаскелю....
|
||
| nullxdth | 03.02.2015 22:03 |
https://www.cyberforum.ru/post7183669.html
Точно. Блин, вот отстой. Ну тогда:
(let ((xs (list 1 2 3...
|
||
| korvin_ | 03.02.2015 22:05 |
https://www.cyberforum.ru/post7183684.html
Лол... Таки жду пример матрицы со строками (или столбцами)...
|
||
| nullxdth | 03.02.2015 22:07 |
https://www.cyberforum.ru/post7183694.html
Проиграл с перевода :)
Лучше так: "Хачкелист, (listp...
|
||
| Curry | 03.02.2015 22:27 |
https://www.cyberforum.ru/post7183774.html
Я не написал что они должны быть с элементами разного типа,...
|
||
| korvin_ | 03.02.2015 22:38 |
https://www.cyberforum.ru/post7183818.html
Функция zipWith3 принимает в качестве аргументов списки...
|
||
| nullxdth | 03.02.2015 22:52 |
https://www.cyberforum.ru/post7183836.html
Lisp - решай задачу как хочешь ты. Haskell - решай задачу,...
|
||
| Curry | 03.02.2015 22:57 |
https://www.cyberforum.ru/post7183900.html
Кстати, а насколько Вы в Erlange сведущи? Пишите на нём...
|
||
| korvin_ | 03.02.2015 23:06 |
https://www.cyberforum.ru/post7183916.html
Нету.
Понятно. Так я и думал.
Её уже двадцать раз...
|
||
| nullxdth | 03.02.2015 23:11 |
https://www.cyberforum.ru/post7183958.html
Надеюсь ты не АТД имеешь ввиду, говоря про разные типы?...
|
||
| Curry | 03.02.2015 23:37 |
https://www.cyberforum.ru/post7184042.html
Есть. Не видишь потому что не знаешь. Копипастил не знаешь...
|
||
| korvin_ | 03.02.2015 23:49 |
https://www.cyberforum.ru/post7184098.html
Я-то знаю, что я копипастил, и какую задачу решает тот...
|
||
| nullxdth | 03.02.2015 23:54 |
https://www.cyberforum.ru/post7184115.html
Хотя бы тем, что map - просто Lisp функция и если бы её не...
|
||
| Curry | 04.02.2015 00:37 |
https://www.cyberforum.ru/post7184200.html
Задачу он другую решал (а "эта" несформулированна), но там...
|
||
| castorsky | 04.02.2015 03:21 |
https://www.cyberforum.ru/post7184414.html
а рекурсия нам для чего?
> (map list '(1 2) '(ololo...
|
||
| Curry | 04.02.2015 10:17 |
https://www.cyberforum.ru/post7184949.html
А зачем внешние скобки? Я знаю что они нужны по правилам,...
|
||
| taras atavin | 04.02.2015 11:15 |
https://www.cyberforum.ru/post7185164.html
, а козлы этим пользуются.
|
||
| korvin_ | 04.02.2015 11:26 |
https://www.cyberforum.ru/post7185215.html
ADT? Ох, тогда я присоединяюсь к nullxdth, ибо ADT тут...
|
||
| castorsky | 04.02.2015 16:54 |
https://www.cyberforum.ru/post7186576.html
S-expressions же, гомоиконность же. Никакой любви, а...
|
||
| taras atavin | 04.02.2015 17:06 |
https://www.cyberforum.ru/post7186641.html
Есть ли в других языках то, что было было в лиспе, вот в...
|
||
| castorsky | 04.02.2015 17:10 |
https://www.cyberforum.ru/post7186678.html
Я уже говорил. Либо выражайтесь понятно, либо не...
|
||
| Curry | 04.02.2015 17:55 |
https://www.cyberforum.ru/post7186933.html
Весьма обязывающее заявление. Это Вы потому что тут активны...
|
||
| castorsky | 04.02.2015 19:48 |
https://www.cyberforum.ru/post7187487.html
Я поэтому и сказал что задумываюсь. Нет у меня такой...
|
||
| taras atavin | 04.02.2015 19:55 |
https://www.cyberforum.ru/post7187519.html
Устаревшее, Вы хотели сказать?
Добавлено через 1 минуту...
|
||
| castorsky | 04.02.2015 20:02 |
https://www.cyberforum.ru/post7187574.html
Что устаревшее? Примеры.
Жду примеры.
|
||
| Curry | 04.02.2015 20:04 |
https://www.cyberforum.ru/post7187585.html
Ничего удивительного. Просто такой уж у Вас критерий...
|
||
| taras atavin | 04.02.2015 20:15 |
https://www.cyberforum.ru/post7187633.html
Всё.
|
||
| castorsky | 04.02.2015 20:16 |
https://www.cyberforum.ru/post7187638.html
поделитесь где обнаружили.
Знаменитый - это Юрий...
|
||
| Curry | 04.02.2015 20:38 |
https://www.cyberforum.ru/post7187721.html
http://hackage.haskell.org/package/HList-0.3.2.0
|
||
|
|
||||
| Similar |
Delphi !? Плюсы и минусы Студентская жизнь.Ее плюсы и минусы. Что вы делаете необычное на форуме(плюсы и минусы) Какой язык веб-программирования выбрать? Плюсы\минусы |
|||
| Ads |
|
|||
| MoreAnswers |
Плюсы и минусы Плюсы и минусы C# Плюсы и минусы Плюсы и минусы J2se |
|||
Наверх