3 ms·
What do you mean by "the type inference isn't as cool as what's in Haskell"?
by gnuvince 14y ago
What do you mean by "the type inference isn't as cool as what's in Haskell"?
- ansible 14y agoIIRC, Ocaml does use Hindley-Miller, but Haskell has some tweaks that make it work better. I may be mistaken, someone who is more current on both please correct me. In retrospect, I think I was also thinking about type-classes in Haskell, which Ocaml does not have. But from what I understand Ocaml has other means to achieve the same ends.