contravariance by example

[juan_gandhi]

Tony Morris proves unsoundness of blind casting using simple logic.

Comments

[dvig-al.livejournal.com]

Если рассматривать какждый тип в иерархии наследования как множество, то это очевидно влечет за собой операции пересечения/обьединения/дополнения, изоморфные логическим операциям коньюкции/дизьюкции/отрицания.
Так что его обьяснение более чем логично. Или я ошибаюсь?

[ivan-gandhi.livejournal.com]

Не совсем так. Фокус в том, что высказывание моделируется на булевом типе, и демонстрируется его ложность. Ну или можно в терминах множеств проинтерпретировать, тоже хорошо.