> L in SOLID refers to Liskov substitution you think? > Flow adhering to it" means that violating code will be flagged by type system Shocking that type syst

> L in SOLID refers to Liskov substitution you think? > Flow adhering to it" means that violating code will be flagged by type system Shocking that type system can flag things