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