Eta-lang всё

[nponeccop]

https://eta-lang.org/

Пару лет по конференциям, и всё.

Comments

[justy_tylor]

Годы (десятилетия) идут, а всё хаскельное продолжает делиться на три группы:
1. Мёртвое.
2. Академический матан (вроде Agda).
3. GHC.

[nivanych]

Не стал бы называть агду "хаскельным".

[justy_tylor]

Хаскельное в смысле что на нём пишут. Или у агдочки появились новые имплементации (не следил)?

[nivanych]

Нет, имплементация агды всё так же на хаскеле.
Есличо, у нас продакшн на хаскеле ~100k строк.

[justy_tylor]

Инхаус может быть хоть на Хаскеле, хоть на самописном эзотерическом DSL, на ситуацию в живой природе это не влияет.

[nivanych]

Имеется в виду то, что запускается на клиенте?

[justy_tylor]

"Живое на Хаскеле" - если поставляется хоть как-то заметному числу кастомеров (не важно, для десктопа или для деплоя на их собственных серверах).

[nponeccop]

Нуу, я бы добавил

4. Перекрашивание инфраструктурных велосипедных навесов

- Cabal/Setup.hs configure
- cabal-install
- cabal-dev
- cabal sandbox
- stack
- cabal newbuild
- Shake/Hadrian
- ghc-mod
- scion
- ghcid
- haskell-ide-engine
- haskell-language-server
- штуки 4 форматтера (brittany, ...)

Ну и ещё штуки три наверное забыл чего-то из этой области.