завтипов (или что вы делаете?)
*Простую — идейно
А Вы тогда покажите систему типов для refinement types, которая не эквивалентна зав. типам — тогда обсудим, насколько это просто. 😉 Full disclosure: я-то такую видел, и там было 4 (четыре, Карл) вида кайндов. Теперь помножим это на 3 вида замыканий в Rust, их сабтайпинг, GAT и отсутствие HKT. Проще сразу зав. типы вальнуть, ей-богу. А то после такого система типов ATS покажется простой как валенок. 😂
Обсуждают сегодня