Livejournal
Log in
Post
Friends
My journal
nponeccop
Eta-lang всё
Aug 10, 2020 18:01
https://eta-lang.org/
Пару лет по конференциям, и всё.
fp
,
все пидарасы а я
,
programming
Leave a comment
Comments 8
justy_tylor
August 11 2020, 00:45:30 UTC
Годы (десятилетия) идут, а всё хаскельное продолжает делиться на три группы:
1. Мёртвое.
2. Академический матан (вроде Agda).
3. GHC.
Reply
nivanych
August 11 2020, 09:45:08 UTC
Не стал бы называть агду "хаскельным".
Reply
justy_tylor
August 11 2020, 11:13:38 UTC
Хаскельное в смысле что на нём пишут. Или у агдочки появились новые имплементации (не следил)?
Reply
nivanych
August 11 2020, 11:21:15 UTC
Нет, имплементация агды всё так же на хаскеле.
Есличо, у нас продакшн на хаскеле ~100k строк.
Reply
Thread 8
Leave a comment
Up
Comments 8
1. Мёртвое.
2. Академический матан (вроде Agda).
3. GHC.
Reply
Reply
Reply
Есличо, у нас продакшн на хаскеле ~100k строк.
Reply
Leave a comment