Lecture 4 Notes: Inheritance, Subtypes and Polymorphism at the Family Reunion
When path-dependent types stop Cosmo from romancing the Queen
The article and the lecture unfold as an extended conversation about the way object-oriented languages let programs evolve without tearing apart what already works. At its core stands a simple pictur…