Why is subclass = subtype a controversial choice?

Type Theory

New · 0d
question
Why is subclass = subtype a controversial choice?
Hint
© 2026 Scrambled Kitchen·GitHub