https://github.com/howprogrammingworks/liskovsubstitution

The Liskov Substitution Principle
https://github.com/howprogrammingworks/liskovsubstitution

Last synced: 10 months ago
JSON representation

The Liskov Substitution Principle

• Host: GitHub
• URL: https://github.com/howprogrammingworks/liskovsubstitution
• Owner: HowProgrammingWorks
• License: mit
• Created: 2019-06-28T14:36:35.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2024-11-09T01:58:09.000Z (over 1 year ago)
• Last Synced: 2025-03-31T12:58:12.715Z (11 months ago)
• Language: JavaScript
• Size: 33.2 KB
• Stars: 4
• Watchers: 5
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
## The Liskov Substitution Principle

[![Принцип подстановки Барбары Лисков](https://img.youtube.com/vi/RbhYxygxroc/0.jpg)](https://www.youtube.com/watch?v=RbhYxygxroc)

- Лисков: Пусть `q(x)` является свойством, верным относительно объектов `x`

некоторого типа `T`. Тогда `q(y)` также должно быть верным для объектов `y`

типа `S`, `S` является подтипом типа `T`.

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

возможность использовать подтипы базового типа, не зная об этом.

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