Hacker News new | ask | show | jobs
by kaidax 2546 days ago
> Object-oriented style inheritance is unsound (inheritance is not subtyping)

Most modern OO type systems rule out unsound inheritance. (Java, Scala, etc.)