I recently started to learn OCaml. This blog post convinced me that it was worth learning:<p><a href="http://roscidus.com/blog/blog/2014/02/13/ocaml-what-you-gain/" rel="nofollow">http://roscidus.com/blog/blog/2014/02/13/ocaml-what-you-gain...</a><p>I'm putting my notes on github, in case anyone wants a head start.<p><a href="https://github.com/melling/ComputerLanguages/blob/master/ocaml.org" rel="nofollow">https://github.com/melling/ComputerLanguages/blob/master/oca...</a>
I really hope modular implicits will make it to the language one day. While OCaml libraries are no stranger to monads they usually only include `bind` and `return`.<p>Since I'm coming from Haskell I'm used to a vast Applicative and Monad vocabulary and making do with just `bind` and `return` is rather painful. So having a generic library of Monad combinators that one could use with any Monad would be great. Also, being able to just write `show x` is so nice!<p>Edit: while I often see "modular implicits are being worked on" it is not very clear whether there is a concrete plan to add them to the language. Is there any place in the official OCaml repository / issue tracking system / wiki etc where one could check the status?
For anyone looking for an OCaml quick start: <a href="http://hyegar.com/2015/10/20/so-youre-learning-ocaml/index.html" rel="nofollow">http://hyegar.com/2015/10/20/so-youre-learning-ocaml/index.h...</a>
And here is the pending effort for better experience of OCaml on Windows: <a href="https://github.com/ocaml/opam/issues/2191" rel="nofollow">https://github.com/ocaml/opam/issues/2191</a>
If I were already sold on using Haskell or OCaml for a new project, what would be the big seller for OCaml being the choice? I haven't dug into SML or OCaml and I'm not expert with Haskell yet but from looking at them they don't <i>look</i> substantially distant from Haskell.
Still no support for threads running in parallel? I guess things didn't go well: <a href="https://news.ycombinator.com/item?id=9582980" rel="nofollow">https://news.ycombinator.com/item?id=9582980</a>
how about SMT support for ocaml(multicore) ? Could it catch up to the current implementation (HEAD) or it's still in the process of moving its implementation ?
I wonder if this change will have any impact on multicore OCaml (given the reduction of allocation)? I don't know the internals of OCaml that well but multicore support has been my BS reason for not embracing OCaml albeit Mirage is looking better and better every day.