KR
Ну просто ставить arend и idris рядом это такое.
Никто не ставит. Просто вспоминают. Как интересные системы типов.
Size: a a a
2020 July 18
Rn
Так дай внятное определение. Что за фигня? Откуда "ещё условия" взялись?
Какие условия? Я определял эти условия изначально.
Rn
что преобразования в С++ могут записывать/читать произвольные признаки из типов. Как угодно из интерпретировать
p
p
В С++ йобаные числа не полиморфны
p
Rn
всё правильно
KR
Какие условия? Я определял эти условия изначально.
Нет. Я написал код, который соответствует твоему определению. Тип B знает что он Added<A>.
Ты говоришь что это не полное определение. Давай полное.
Ты говоришь что это не полное определение. Давай полное.
M
О царь
M
Как там дела в универе то?
p
это Царь. слышал про такого?
M
Как не знать легенду красноярска
Rn
Нет. Я написал код, который соответствует твоему определению. Тип B знает что он Added<A>.
Ты говоришь что это не полное определение. Давай полное.
Ты говоришь что это не полное определение. Давай полное.
Не соответствует - ты обгадился.
KR
Как не знать легенду красноярска
О, так он оттуда?
M
Он познаменитей меня в интернетах
KR
Не соответствует - ты обгадился.
Где не соответствует?
M
О, так он оттуда?
Да препод и сфу
KR
Да препод и сфу
Препод?
KR
Беда....