G
тем интереснее
+
Size: a a a
2020 March 06
G
Т-34 85
так он же сырой
никак это не коррелирует с крутостью
EG
Т-34 85
так он же сырой
Идрис вечно сырой
EG
Как другие мертворожденные языки
EG
У меня перестал воспроизводиться баг с Edge, кстати
G
Как другие мертворожденные языки
DF
Кек
G
обидно было это
EG
Для протокола: я не спорю, что он крут.
EG
Но он никогда не дойдёт до какой-либо распространённости.
DF
Наверное так когда то говорили про примитив map
Т8
Как другие мертворожденные языки
чем бы фпшники ни тешились, лишь бы не ныли, что их заставляют писать на ++ и на #
DF
Я когда начинал большинство о нем не слышали даже
AL
Но он никогда не дойдёт до какой-либо распространённости.
ну и фиг с ним. главное, что бы идеи из него куда-то дошли
EG
Я знаю как минимум один проект, который написан на Haskell, но ни одного на Idris
G
ну и фиг с ним. главное, что бы идеи из него куда-то дошли
+
DF
Так Идрис тот же хаскель только не ленивый
EG
ну и фиг с ним. главное, что бы идеи из него куда-то дошли
ZZ? Который тоже мёртворожденный, но ближе к реальному использования благодаря высокой совместимости с C.
EG
Dollar Føølish
Так Идрис тот же хаскель только не ленивый
Подожди, Idris не ленивый? А как это работает вообще?
AL
ZZ? Который тоже мёртворожденный, но ближе к реальному использования благодаря высокой совместимости с C.
я не очень понял переход от идриса к зз