KLH
Вопрос к @eglyph и всем остальным)
KLH
просто ocaml > haskell, зачем тратить время? еще и курс в два раза длинее
Кстати, а что значит знак больше в данном случае?
ЗЫ Сам я юзаю хаскель, но когда учил его - учил вместе с окамлом. И тогда показалось, что с академической точки зрения у окамла больше возможностей энкодинга разных эдаких штук типа зависимых типов и тп. Просто там их не юзают, а берут сразу кок для этого... Предел мощности модулей для меня пока недостаточно раскрыт
Romɑn
Кстати, а что значит знак больше в данном случае?
ЗЫ Сам я юзаю хаскель, но когда учил его - учил вместе с окамлом. И тогда показалось, что с академической точки зрения у окамла больше возможностей энкодинга разных эдаких штук типа зависимых типов и тп. Просто там их не юзают, а берут сразу кок для этого... Предел мощности модулей для меня пока недостаточно раскрыт
Аккуратнее, ты хочешь заглянуть в бездну!
Romɑn
И я не про хаскелл с окамлом
Roman
да, некоторые двери лучше не открывать)
Doge
Старпёр детектед! Это хоть на мсх было? :) или алгоритмы в тетрадке писали? :)
Так он вроде до сих пор в школах.
У меня у сестры в средней школе именно он.
Hog
И это прально, кстати
KLH
И я не про хаскелл с окамлом
Кстати тут не понял. Вопрос мой чисто академический. Не предполагающий практических выводов ( с практикой то тут у всех одно мнение и предмета спора или дискуссии наверное и нет)
Doge
Кстати тут не понял. Вопрос мой чисто академический. Не предполагающий практических выводов ( с практикой то тут у всех одно мнение и предмета спора или дискуссии наверное и нет)
Ну, имхо, хаскель интереснее тем, что сам дизайн языка более экзотичен.
То есть ленивый, чистый ЯП, который при этом умудрились в весьма эффективные бинарники компилить.
Doge
Это само по себе дико круто
Ayrat
Мое мнение, язык это полдела. Если не четверть дела. Иначе все бы на идрисе писали
KLH
Это само по себе дико круто
Это да. Но я больше про возможности энкодинга разных крутых штук. Как Leo White показывал сигма типы на окамле. Вот в хаскеле по идее пи типы выразимы с тайп фемили
Doge
Мое мнение, язык это полдела. Если не четверть дела. Иначе все бы на идрисе писали
Как я понял, тут вопрос именно с позиций научного интереса, а не практической применимости
Hog
Мое мнение, язык это полдела. Если не четверть дела. Иначе все бы на идрисе писали
Вот тут кумир упоминали...
Ayrat
Ayrat
У хаскеля много экстеншнов. Тот же ликвид
Ayrat
Где-то видел сешн типы
Doge
Это да. Но я больше про возможности энкодинга разных крутых штук. Как Leo White показывал сигма типы на окамле. Вот в хаскеле по идее пи типы выразимы с тайп фемили
Можешь ещё на скалу посмотреть, там в плане энкодинга экзотики очень весело.
Те же пи и сигма можно через path-dependent типы и импликиты выразить
KLH
Мое мнение, язык это полдела. Если не четверть дела. Иначе все бы на идрисе писали
Да, вопрос чисто теоретико академический. Про практику вроде всем все ясно. Либы экосистема, практичность и тп - тут все понятно
KLH
Можешь ещё на скалу посмотреть, там в плане энкодинга экзотики очень весело.
Те же пи и сигма можно через path-dependent типы и импликиты выразить
Хм, всегда думал, что скала строго меньше окамла
KLH
У хаскеля много экстеншнов. Тот же ликвид
Ну ликвид - это уже не чистый хаскел. Тогда уж фстар нужно вспоминать
Doge
Хм, всегда думал, что скала строго меньше окамла
Скала именно в системе типов - очень богатый язык, причем богатство достигается средствами, которые редко в других языках встречаются
Ayrat
Есть даже тайп провайдер
KLH
Скала именно в системе типов - очень богатый язык, причем богатство достигается средствами, которые редко в других языках встречаются
Ну дак и окамл с его модулями никто кажется не переплюнул
Ayrat
Session Type Providers (STP) | Session Type Provider
https://session-type-provider.github.io/
KLH
KLH
Ну таких как в окамле вроде нет в более менее современных фя
Doge
Ну дак и окамл с его модулями никто кажется не переплюнул
И да, надо посмотреть подробно, возможно модули, можно в скале заэнкодить
Alexey
Так он вроде до сих пор в школах.
У меня у сестры в средней школе именно он.
На минутку: железо - Корвет
Alexey
А не моднявая среда на выне
Doge
И да, надо посмотреть подробно, возможно модули, можно в скале заэнкодить
Не, похоже нельзя, если мы про полноценные ml модули говорим
KLH
Да ну брось
Ну я именно про модули. Так то окамл кучу недостатков имеет в практической сфере к сожалению
Hog
На минутку: железо - Корвет
Ой. Сочувствую тогда. Мсх это ямахи на з80. Как и корветы. Только с человеческим лицом -_- :)
Vladislav
Анна
Vasily
Там ща много их
Анна
Я недавно видела парочку
Roman
Roman
Vladislav
Vasily
Как же красиво в Сан- Франциско
Snejana ONE LOVE
Vladislav
давно
Крылатый
Мне тут какие-то сектанты-некроманты буклет в почтовый ящик сунули. Что-то про апокалипсис, битву Иеговы и Сатаны, воскрешение мёртвых. Ужас, жаль лично не встретились.
Anonymous
Мне тут какие-то сектанты-некроманты буклет в почтовый ящик сунули. Что-то про апокалипсис, битву Иеговы и Сатаны, воскрешение мёртвых. Ужас, жаль лично не встретились.
у тебя ник - "Крылатый Пегас". чего ты еще ждал?*
Anonymous
ты для них - целевая аудитория
Anonymous
А это, разве бывают не крылатые пегасы?
Крылатый
у тебя ник - "Крылатый Пегас". чего ты еще ждал?*
Пф. Я б их скорей склонил в веру в Сестёр.
Крылатый
Как минимум, крылья физически и морально уничтожимы.)
Anonymous
А разве пегас без крыльев не равен обычному коню? :)
Урусай
Если родился пегасом а крылья отрубили - конём не становится
Крылатый
Вообще, «пегасов» как вид химер в разных культурах дофига и они разнообразны деталями.
Крылатый
Там даже крылья необязательны. Главное это способность к полёту.
Крылатый
Потому что символ.
Anonymous
Ишты
Anonymous
Пойду гуглить
Ilya
Ух, в 4.7 добавят nameof, кажется...
https://github.com/dotnet/fsharp/pull/6809