Серьезно

И менторство

Без ad-hoc полиморфизма приходится раз за разом писать один и тот же map для всех новых коллекций, например.

Без HKT нельзя выразить High Kinded Data, а это очень мощный паттерн

+. соглашусь, сам столкнулся

Иногда натыкаешься на совершенно идиотские ситуации... например приходится городить совершенно монструозные конструкции чтобы выразить банально... сет из элементов собственного типа

sort :: Ord a => [a] -> [a]
вот пример

Это сортировка списка, работающая для значений любого типа a, значения которого можно сравнить между собой (Ord a)

В Elm сравниваются только встроенные типы и только так, как это было заложено авторами языка.

insert
   :: Ord k
   => k -> v
   -> Map k v -> Map k v
вставка в мап (key-value коллекцию) при условии, что ключи можно сравнивать. Позволяет использовать в роли ключей любой подходящий тип, а не только встроенные примитивы

И это только простые примеры

ага, спасибо

Залетела на почту вакания, спешу поделиться - вдруг тут кому-то подойдет:

TLDR: F#+Elm, CV -> silanbirnboim@crossriver.com

My name is Seraya and I work for an exciting FinTech company named Brix. We’re the R&D unit for a profitable commercial US bank, who won several innovation awards just recently, and do banking as a service.

We’re currently looking for a functional programmer to join one of our dev teams, who’s using mostly F# and Elm to create robust enterprise applications in a fast-paced, dynamic development environment.

With your experience in functional programming, I thought this challenge would be right up your alley. Despite the Corona crisis, our company is still stable and growing (we’ve doubled in size this past year), and we know we’re fortunate in this sense. Most of our people work from home (regardless of Covid-19), as you could, in this position.

So… if you’re a kick-ass functional programmer (or know someone else who is), and you know an interesting opportunity when it comes up, why don’t you send me your resume to silanbirnboim@crossriver.com

Ха, F# на беке. Нет будет когнитивного диссонанса от разной мощности систем типов на фронте и бэке: обе системы маломощные :)

ну кстати я бы пошел, например

нежно люблю Ocaml и его диалекты

Потому что привыкли к конструкциям, которые выразимы в хаскелле, но не выразимы в Эльме. А они очень помогают.

А, ещё не хватает ленивости.

Иногда.

Когда компилятор эльма не позволяет объявлять рекурсивные значения, но позволяет рекурсивные функции.