4 ms·
> use inheritance to model subtyping but Liskov/Wing weren't making any statements about inheritance specifically. Right. Inheritance is just one mechanism to
by rramadass 2y ago
> use inheritance to model subtyping but Liskov/Wing weren't making any statements about inheritance specifically.
Right. Inheritance is just one mechanism to realize Subtyping. When done with proper contract guarantees (i.e. pre/post/inv clauses) it is a very powerful way to express semantic relationships through code reuse.