Aq
хотя в пейпере Гордона и Милнера 78го года употребляется "generic type"
Size: a a a
2017 December 01
Aq
в аде сама "фича" называется generics, но не в MLе
Вл
в наше бы время это назвали higher order type
ZK
в эмеле они так не называются обычно, да и не было в 73 никакого эмеля
В 73 году он появился
ZK
Параметрический полиморфизм он там вроде назывался
Aq
ну у функциональшиков и лисперов принято просто вытягивать историю в прошлое как только возможно
ZK
Parametric polymorphism was first introduced to programming languages in ML in 1975
AK
ещё Пётр Первый боярам дженерики обрезал
AK
Не исключено, что Рюриковичи — это последствия применения параметрического полиморфизма.
Aq
Я так понимаю, что Милнер в своих пейперах 70-х называет это обычно type polymorphism, только если Стрейчи вспоминает, разок напишет что вот он это "parametric" polymorphism называл, именно вот та с кавычками
Aq
а дженерики как название как-то в ФЯ не прижились, только в мейнстриме, но это из 70-х термин, как минимум
Aq
и больше характерный для языков где просто что-то там наколхозили, без особой академии
М
Elm для фронта.
PureScript для фронта.
В чем преимущество первого?
PureScript для фронта.
В чем преимущество первого?
2017 December 02
AK
Первый сильно проще, если ты не знаешь Хаскель
к
Elm для фронта.
PureScript для фронта.
В чем преимущество первого?
PureScript для фронта.
В чем преимущество первого?
Ну и у первого встроенный фреймворк, что сразу убирает кучу вопросов и облегчает вход
Вакансий больше
Вакансий больше
2017 December 03
AP
На японском, правда. Но в принципе может быть инетерсно даже просто на кода куски посмотреть
AP
По парсер-комбинаторам, например, вполне неплохая статья (я про https://qiita.com/jinjor/items/d0d4b83b530251df913e)
KK
А ещё там вроде есть статья про effect manager. Или за 2016 год. Это единственный источник про написание своих эффектов, что я смог найти.