a
Size: a a a
2020 April 11
G
Ещё можно сессионными типами верифицировать конкурентнсть
M
G
В Idris2 ещё квантитативную теорию типов завозят, соединяющую линейные типы с зависимыми
G
QTT
M
И че на вид как посос
M
Или этим кодить можно?
G
И че на вид как посос
Что посос?
G
Idris?
M
Qtt
M
У меня просто слова начинаюшиеся с Qt осоциируются с пососом
M
ED
🤣
G
Серьёзно
G
Type-Driven Development with Idris - это, наверное, лучшее вложение в меня как в программиста
G
Весь мир стал по-другому выглядеть
a
Весь мир стал по-другому выглядеть
попробуй лсд еще
G
Да QTT как ЛСД уже