SA
еще один импостер
Size: a a a
2020 October 13
H
noname nobody
и чё вам в идрисе ндравится? я правильно понял, вы фан идриса?
он аккуратный
H
реально аккуратно сделан
H
при том, что довольно много всего позволяет, он не превратился в адское мессиво
AE
он аккуратный
А как тебе идрис по сравнению с идрис 2?
H
там же вроде немного изменилось
про QTT я не читал ещё папир бреди
про QTT я не читал ещё папир бреди
AE
Понятно.
H
H
сколько всего можно было бы вынести из компиляторов, если бы другие языки поддерживали такое
SA
да лан вон лиспы поддерживают но
SA
дело ж не только в этом
H
сколько всего можно было бы вынести из компиляторов, если бы другие языки поддерживали такое
а так ждём в расте по пол года пока добавят крошечный синтаксис в match
ND
в f* тоже зависимые типы есть же
ND
это если кому больше окамлоподобное нравится
AE
f* это кто?
H
f* это кто?
не f*, Его Величество F*
H
https://www.fstar-lang.org/
только сайт у меня не открывается почему-то
только сайт у меня не открывается почему-то
AE
А у меня норм.
AE
Впервые слышу об этом языке.