История изменений
Исправление AndreyKl, (текущая версия) :
ты знаешь, читал статью в английской вики, и во первых строках вот что прочёл
if S is a subtype of T, then objects of type T may be replaced with objects of type S (i.e. an object of type T may be substituted with any object of a subtype S) without altering any of the desirable properties of T (correctness, task performed, etc.)
таки заметь *desirable* properties of T. так что шах и мат (если вики не врёт конечно).
Исходная версия AndreyKl, :
ты знаешь, читал статью в английской вики, и во первых строках вот что прочёл
if S is a subtype of T, then objects of type T may be replaced with objects of type S (i.e. an object of type T may be substituted with any object of a subtype S) without altering any of the desirable properties of T (correctness, task performed, etc.)
таки заметь desirable properties of T. так что шах и мат (если вики не врёт конечно).