4 ms·
> What is it that about Java or C++ or OOP that you think makes their static typing useless? He's not saying their static typing is useless. He's saying it's
by mightybyte 13y ago
> What is it that about Java or C++ or OOP that you think makes their static typing useless?
He's not saying their static typing is useless. He's saying it's not an accurate representation of the state-of-the-art in static type systems.
> Hindley-Milner is actually a poor type system. It trades away powerful features like overloading and subtyping in exchange for global type inference.
Something that you may think is a good idea in one context may not be such a good idea in another context. I'll take Haskell's type classes over subtyping any day.
- detrino 13y ago> He's not saying their static typing is useless. He's saying it's not an accurate representation of the state-of-the-art in static type systems. Perhaps he meant to say "full benefits" and it was only a typo. > I'll take Haskell's type classes over subtyping any day. Type classes and subtyping are not incompatible.