Eta-lang всё

[nponeccop]

https://eta-lang.org/

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

Comments

[justy_tylor]

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

[nivanych]

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

[justy_tylor]

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

[nivanych]

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