Рет қаралды 9,768
Violating the 7 rules of the Liskov Substitution Principle (L in SOLID) leads to code that is difficult to reason about. The 3 type rules can be checked by compilers but the 4 behavioral rules have to be respected by us developers.
⭐️ More about LSP in Clean Architecture (Chapter 9): geni.us/IBhtLnh
Watch First: • Covariance and Contrav...
📄 The paper: dl.acm.org/doi/pdf/10.1145/19...
🏛️ Design By Contract: en.wikipedia.org/wiki/Design_...
CONTENTS
00:00 Intro
01:33 Formal Definition
02:56 Robustness Principle
06:09 Type Rules
08:50 Terminology
11:59 Behavioral rules
19:15 Conclusion