ΑZ
возьмем идрис
Size: a a a
2021 May 28
ΑZ
там типы супер проверяют всю хуйню
ΑZ
но компиль тромознутый и таргет код неоптимальный
CD
он актуален в практическом использовании?
ΑZ
при чем тут это? Очевидно я взял эдж кейс
DS
Самое смешное, что я видел пару неироничных вакансий на него, так что да, каким-то образом актуален
ΑZ
а выкидывать ненастоящих шотландцев
CD
никто не говорит, что нельзя использовать типы для университетской ресёрч работы
ΑZ
это такое
AN
на перф мне кстати пофиг. т.к. у меня гуй.
ΑZ
а то окажется что С++ лучший язык из категории "С++ языки"
ΑZ
при чем тут универ? Видел неироничную вакансию ан идрис
ΑZ
не пошел потоу што я тупой
ΑZ
но мог бы
CD
C/C++/Rust семейство самый большой потребитель всех ресёрчей по типчикам
ΑZ
лолкек
ΑZ
особенно си
ΑZ
самый продуманный и академичный язык евер
CD
ну если тебе надо стабилизировать, будешь снаружи обмазывать аннотациями
AN
а я видел вчера вакансию на раст в Сambridge Quantum Computing конторке