README.md

The Liskov Substitution Principle

• Лисков: Пусть q(x) является свойством, верным относительно объектов x некоторого типа T. Тогда q(y) также должно быть верным для объектов y типа S, S является подтипом типа T.

• Роберт Марртин: Функции, которые используют базовый тип, должны иметь возможность использовать подтипы базового типа, не зная об этом.

• q(x: T), q(y: S), S->T