Future of OCaml
Some interesting developments coming up in OCaml’s future:
A type-based dispatch similar to Haskell’s typeclasses. As this paper clarifies, creating typeclasses in OCaml is harder due to the way it preserves 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 appears to be years away. To see how complicated the solution is, see this response. You can follow some of the work that is taking place here.