Haskell - это мёртвый язык?

Доброго времени суток! Недавно начал изучать Haskell. Спустя какое-то время мне всё больше и больше кажется, что может я трачу время в пустую...

Прочитал кучу статей о Haskell, но так и не до конца понял, зачем его изучать и где использовать. Видел много критики в сторону языка и как таковых вакансий я вообще не увидел.. Все эти факторы вызывают у меня амбивалентность. Можете как-то прояснить ситуацию с языком и помочь определиться?

1

Я тоже пятак вставлю.

Назвать Хаскель мёртвым языком язык не поворачивается: это один из самых развивающихся языков с постоянно добавляющимися возможностями (если говорить о прагмах ghc), с большим сообществом (не как у мейнстримовых языков, но не все живые языки такое сообщество имеют) и постоянно развивающиеся сопутствующие инструменты.

Правда, нишу он занял своеобразную. В ней он безоговорочно уделывает гигантов, но для кровавого ынтерпрайза не сказать, что подходит.
Вакансии есть, даже на FP Discord постоянно появляются.

Сообщение от Curry Но это не язык который нужно учить первым и единственным.

Ну почему же. Как по мне, Хаскель можно учить первым языком. Конечно, не единственным.

Немножко оффтопа.

Сообщение от XRuZzz На Idris и Haskell буду отводить примерно одинаково времени, на остальные языки по остаточному принципу. Мне, в принципе, не нужен язык для заработка. [...] Думаю, стоит обратить внимание на Idris. Важно понимать недостатки и преимущества зависимых типов.

Я тоже начал изучать Idris где-то месяц назад. Не ожидал, что по прошествии недели-две я приду к ощущению, что система типов в Хаскелле крайне слабая и невыразительная. Где-то день ходил в смешанных чувствах, восторг и депрессивное отчаяние (отчасти от осознания того, что в массы завтипы выйдут ой как нескоро).

Если кому интересно, моё мнение: завтипы прекрасны, без них хорошо только если о них не знаешь, однако idris на данный момент слишком молодой язык: сообщество маленькое, IDE нет, аналога haddock нет (раньше был, потом похоронили), (полу)формальной структурированной документации вроде Haskell Reports нет, одни туториалы, даже компилятор не до конца отлажен. Например, на прошлой неделе я случайно нашел баг, связанный с проверкой линейных типов, когда тайпчекер не падал, хотя должен был; issue в течении трёх дней закрыли. Из прочих плюсов Idris:
- есть упомянутые линейные типы
- концептуально язык сильно проще Haskell. Например, интерфейс (т.е. тайпкласс) является альтернативным способом определить GADT
- есть неявные и автоматически-неявные аргументы: первые просто можно не писать, потому что выводятся статически на основе унификации, а вторые к тому же говорят компилятору «собери из доступных в текущем контексте переменных выражение указанного типа». Когда я впервые воспользовался этим, ходил под впечатлением, ибо выглядит как магия.
Правда, есть один фундаментальный недостаток языка: он не поддерживает параметрический полиморфизм. То есть неэквивалентных термов типа вагон и тележка, а не один только id.

Впрочем, говорят, что Agda более проработанный язык по сравнению с Idris.

2