4 ms·
> Object-oriented style inheritance is unsound (inheritance is not subtyping) Most modern OO type systems rule out unsound inheritance. (Java, Scala, etc.)
by kaidax 7y ago
> Object-oriented style inheritance is unsound (inheritance is not subtyping)
Most modern OO type systems rule out unsound inheritance. (Java, Scala, etc.)