4 ms·
It's because OO does not have firm mathematical foundations, so it's much harder/impossible to give OO languages a consistent and powerful type system. Class he
by wyager 10y ago
It's because OO does not have firm mathematical foundations, so it's much harder/impossible to give OO languages a consistent and powerful type system. Class heirarchies in particular are inimical to good type systems.
- matt_kantor 10y agoA notable exception is Scala's type system, which is pretty expressive. It has been formalized and proven to be sound[0]. [0]: http://scala-lang.org/blog/2016/02/03/essence-of-scala.html http://scala-lang.org/blog/2016/02/03/essence-of-scala.html