Subtyping, Subclassing, and Trouble with OOP
The article discusses the relationship between subtyping and subclassing in object-oriented programming, highlighting how they differ and the problems that arise when they are conflated. It examines how inheritance mechanisms in OOP languages often confuse these concepts, leading to design issues and violations of type safety principles.