Corollary: "class hierarchies" become "class dynasties".https://twitter.com/propensive/status/1244903422643572736 …
-
I’m trying very hard to not jump in and say that actually, you’re not talking about inheritance but subclassing- one implies the other, but they’re not the same. Clearly I failed.
I think I never considered anything other than subclass inheritance to be inheritance... though I've been encouraging careful distinction between subtyping and inheritance for years...
-
-
But subclass inheritance implies subtyping, doesn’t it? I agree that inheritance and subtyping are distinct concepts, but if you consider that only subclass inheritance exists, how is it distinct from subtyping?
-
Subtyping concerns a superset relationship on the set of provable properties of a type (e.g. method signatures), and inheritance concerns the sharing of the runtime implementations of none, some, most or all those properties, and is conferred (only, I thought...) by subclassing.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.