Skip to content

HowProgrammingWorks/LiskovSubstitution

Repository files navigation

The Liskov Substitution Principle

Принцип подстановки Барбары Лисков

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

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

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

About

The Liskov Substitution Principle

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published