p
Это будет в проде через 30 лет может быть
Size: a a a
2021 May 02
AN
зачем полунин переименовался. что за карнавал 🤡
Т8
там завтипы, это круче
EG
Полунин это каждые пару месяцев делает
p
Потому что
EG
Это не круче, это ортогонально
Т8
в смысле?
EG
В Neut тоже есть завтипы, и ещё линтипы
ID
Мне кажется он тебя Neutовлетворит
ID
Ахах, шутки уровня @tyranron
EG
В скала завтипы через какую-то жопу выразимы, а вот линтипы никак
EG
Аналогично Coq, Lean и прочая такая фигня
EG
И Idris
p
Ютуб бьёт рекорды хуевых рекомендаций
П
Что конкретно? TypeId::of константный вроде
П
А или найтли опять
Т8
а что это вообще такое, может, я просто не в курсе. Сильной типизации и хорошего компайлтайма недостаточно?
EG
Линейные типы — это такие, значения которых можно использовать ровно один раз
EG
Если это свойство выполняется, то тебе очень легко делать memory management
Память можно освобождать сразу после единственного использования значения
Память можно освобождать сразу после единственного использования значения
AN
