View on GitHub Edit this page


Documenting everything about OCaml

Future of OCaml

Some interesting developments coming up in OCaml’s future:

Immediate Plans

Long-Term Plans

Modular Implicits

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.