And indeed it's not new for people to argue that implementation inheritance should be left out of OOP, it's been going on since the early days. https://www.quo

And indeed it's not new for people to argue that implementation inheritance should be left out of OOP, it's been going on since the early days. https://www.quora.com/What-does-Alan-Kay-think-about-inheritance-in-object-oriented-programming https://www.quora.com/What-does-Alan-Kay-think-about-inherit... However, especially (but maybe not only?) in a dynamic language like smalltalk or ruby, you can simulate implementation inheritance pretty closely with just composition and (some kind of automated/macro'd) delegation if you want to. I'm not sure how/if that changes things at a theoretical/formal level.