AP
PHP - тоже хороший?
Size: a a a
2017 October 26
AK
если туда приходят хаскеллисты и хотят впихнуть невпихуемое
AK
в PHP все приходят с претензиями
AK
а в Го и Эльм только "просвещённые"
AK
попахивает навязываемой религией
AP
Это лесенка балбов: Go -> ... -> Elm -> .. -> Haskell -> Idris
AP
Проблема в том, что на этой лесенке на некоторых ступеньках сидят слишком уж упорно
AK
просветление это Idris то есть?
NK
не
NK
там дальше Coq и HOTT идут
AP
Не, просто он чуть помощнее Хаскеля
NK
а потом лямбда тессеракт
AP
Ну строго говоря Coq, это не следующий шаг после Идриса. Это отдельный класс - доказывалки теорем.
к
Ну, "чуть" - слабо сказано, завтипы несравнимо мощнее systemf. Но я вроде нк видел, чтобы кто-то упорно сидел на идрисе
AK
почему нельзя лежать на нескольких ступеньках ниже верхней, как интеллектуальная часть человечества?
AP
Elm находится ниже SML, на ФП— лесенке. Это не "чуть ниже"
AP
Не подвал, конечно :)
NK
а подвал что
AP
Но всё равно сыровато и плесенью пахнет :)
AP
Подвал - кложурки всякие, JS ещё