4 ms·
no, haskell (ghc) has many extensions that extend hindley-milner by a great degree.
by ibotty 13y ago
no, haskell (ghc) has many extensions that extend hindley-milner by a great degree.
- dllthomas 13y agoYes, I wasn't trying to make any strong claims of theoretical equivalence. In my experience with Haskell and OCaml and much more limited with SML, I've not found myself wanting to express a lot in those languages that I'd have been able to in Haskell, types-wise. Remember that the original question was "How much of Haskell's benefit do you think it provides that simply having static typing doesn't provide?" I should perhaps have been clearer.