@haskellru - страница 894 - Telegram web archive

кана

видел фразы, что на западе f# как скала по популярности/вакансиям, не проверял

Dmitry

Окамль странный

Antilopa

Синтаксис?

Dmitry

И ООП

Alexander

ООП ВЗВ!

Alexander

ФЗВ

A64m

Почему OCaml не такой популярный как Haskell?

видимо потому, что для мейнстрима все равно слишком инопланетный, а для академиков слишком убогий, возможно также, что в него тяжелее контрибутить

A64m

что это

комбинировать функции немного похоже на J ну или FP

Евгений

видимо потому, что для мейнстрима все равно слишком инопланетный, а для академиков слишком убогий, возможно также, что в него тяжелее контрибутить

this

Dmitry

А у нас только что хаскель победил ерланг

Dmitry

Опять

Антон

комбинировать функции немного похоже на J ну или FP

Функция, имеющая разный смысл в зависимости от того, два у неё аргумента или один? Ну нафиг

Антон

А у нас только что хаскель победил ерланг

Как?

Антон

Ерланг умер,а Хаскелль нет?

Dmitry

Нет

Евгений

А связь у окамла с пруверами лучше, потому что пруверы пишут под руководством престарелых академиков, которые выучили ML 30 лет назад

A64m

Функция, имеющая разный смысл в зависимости от того, два у неё аргумента или один? Ну нафиг

нет, так как раз не получится, речь про "пойнтфри" комбинирование

Dmitry

Команда с эрлангом облажалась из за фронта и менеджмента, а мы грамотно дистанцировались

A64m

А связь у окамла с пруверами лучше, потому что пруверы пишут под руководством престарелых академиков, которые выучили ML 30 лет назад

просто эмели в среде пруверостроителей сделали

Евгений

просто эмели в среде пруверостроителей сделали

Будто хаскель нет

A64m

хаскель - нет

Евгений

Хаскель это диалект диалекта ML'я

Anton

недавно один из Coqовских разрабов жаловался на то, что он бы новый прувер писал бы на Расте

Dmitry

Наркоманы

A64m

Хаскель это диалект диалекта ML'я

нет

Андрей

Да

A64m

нет

Андрей

Ну ладно 😕

Андрей

Убедил

Андрей

Команда с эрлангом облажалась из за фронта и менеджмента, а мы грамотно дистанцировались

Фронт и эрланг как связанны то?

Антон

нет, так как раз не получится, речь про "пойнтфри" комбинирование

Я про J

A64m

Я про J

это ясно, я про то что это похоже не на эту фичу J

Alexander

ну раст дал хороший бум в среде академиков

Alexander

его не знают, и потому пока любят

Евгений

И никогда не узнают, учитывая печальную динамику мозиллы

Dmitry

Связаны хреновым менеджментом же

Anton

да, довольно много народу (из академии) занимаются формализацией в Расте

Андрей

Аа

Antilopa

И никогда не узнают, учитывая печальную динамику мозиллы

Это какая динамика?

Anton

А связь у окамла с пруверами лучше, потому что пруверы пишут под руководством престарелых академиков, которые выучили ML 30 лет назад

есть такой (одиозный) персонаж как Jon Sterling, пишуший пруверы; он где-то писал, что выбрал SML из-за того, что язык фактически заморожен и не нужно будет ничего портировать на новые версии в будущем

Dmitry

Он где то неправ?

A64m

Убедил

хаскель произошел от орвелла, с добавлением некоторых синтаксических фич из хопизированного мл-я, орвелл диалект миранды, которая произошла от SASL и Hope но с выводом типов как в мл-е. Hope произошел от NPL, NPL, ML и SASL произошли от ISWIM

Андрей

Ну тогда жс не сиподобный)

Anton

а ISWIM произошел от Ландина, if you see what I mean 😉

A64m

Ну тогда жс не сиподобный)

не сиподобный конечно. Синтаксис влияние си испытал, но где тут аналогия с отношением эмель- хаскель непонятно. Это как сказать, что яваскрипт "сишарпподобный", потому что эмель хопизировался позже, чем тернеровские языки

A64m

Тернеровская линейка под влиянием NPL - Hope все время находилось, а эмель сделали похожим на Hope в середине 80-х, SML и LML в большей степни, Caml в меньшей

A64m

но там сильно сложное взаимодействие было, сначала в синтаксис эмеля добавляли ПМ и эквейшен-синтаксис как в Hope и у Тернера, потом в хаскель добавляли экспрешн часть как в ML / Hope (в тернеровских языках не было экспрешн части)