rr
да во всем
Size: a a a
2021 August 07
E
опять виноват, но не знаем в чем
rr
как понять более спецефический, как более общий ?
rr
это как ?
SC
просто верно было бы без конца фразы, тоесть: "ковариантность позволяет использовать более специфичный тип"
E
более специфический наследуется от более общего
rr
более горячий но менее теплый ?
rr
или как ?
SC
специфичный и общий - это противоположные понятия
E
давайте считать что во фразе выше "более общий" сопровождается "по отношению к предыдущему типу", если эта оговорка требует explicit writing
SC
нельзя написать "как"
rr
нету более общего или менее общего
SC
менее общий - это более специфичный))
SC
хахаха
rr
а введи меру, на сколько более или менее ?
E
ты можешь использовать молоток как инструмент
E
Ребят, мы точно про систему типов говорим? Нет такой меры, произвольная.
E
Или типа ковариантность работает только на три уровня наследования, а дальше ни-ни?
rr
не, все работает
rr
просто у тебя какие то свои определения