3 ms·
> Something like Haskell with perhaps a little less religion about mutability is a whole different story. I consider Ocaml [1] to fill that particular niche.
by ansible 14y ago
> Something like Haskell with perhaps a little less religion about mutability is a whole different story.
I consider Ocaml [1] to fill that particular niche. When I was going through my FP phase, I tried that out a little before going full-on lazy evaluation with Haskell.
From what I can recall, the type inference isn't as cool as what's in Haskell, but at least it's there. There are plenty of libraries, and packages for major OSs.
[1] http://caml.inria.fr/ocaml/ http://caml.inria.fr/ocaml/
- gnuvince 14y agoWhat 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.