Oℕ
Хотите увидеть список тестов другого теста?
Size: a a a
2020 March 02
Oℕ
Запустите другой тест
VS
приятно что я не один страдаю, схожу ишью заведу
Oℕ
VS
а мне казалось или для классов там был список методов?
Oℕ
Oℕ
Ну это копия structure
(
@odomontois а расскажи пожалуйста, какое место в тупед лямбда калькулусе занимает субтайпинг?
(
"сложно, нахуй не нужно" или всё-таки какая-нибудь система F-sub жизнеспособна?
AG
сложно и нужно в основном для кодирования околоалгебраических вещей
AG
типа моноид наследует полугруппе
Oℕ
я написал такое
Oℕ
а меня никто не лайкнул
AG
как правило пытаются свести к каким то структурным ограничениям типа row polymorphism