p
да, нет четкого определения что есть завтипы
Size: a a a
2021 May 03
p
это как фп и ооп
p
можно сратсья вечно
p
AN
Топчик
RP
RP
да, пожалуйста
AN
кстати получается вот эти лайфтаймы тогда сум типы.
AN
все идрис не нужен. завтипы в расте)
H
Это types dependant on types
EG
Кто-то действительно представляет себе это на слова «dependent types»?
H
Завтипы это types dependant on terms
H
А?
AN
ну вот там видосик был со всякой магией
H
См. Calculus of Constructions
H
На Википедии нормальное тлдр
H
Что такое ptr placement
AN
чо ты сделал тот свой прикол или нет?
AN
ну окей, удачи!
H
Какой прикол