Future of OCaml
Some interesting developments coming up in OCaml’s future:
Currently, OCaml has a global runtime lock,
with support for green threads (concurrency) via
The plan is to allow OCaml to run in parallel (which are termed
while also allowing for native green thread support.
A type-based dispatch similar to Haskell’s typeclasses.
See a video demonstration here. As this paper clarifies, creating typeclasses in OCaml is difficult due to its adherence to type abstraction. Put simply, you can have functors or type classes, but not both, and OCaml already has functors. While the community eagerly awaits this solution, its implementation unfortunately appears to be years away.