Objective Caml is the latest implementation of the Caml dialect of ML. The main
novelties compared with its ancestor, Caml Light, are:

     * Full support for objects and classes -- here combined for the first time
	with ML-style type reconstruction.
     * A powerful module calculus in the style of Standard ML (but retaining
	separate compilation).
     * A high-performance native code compiler (in addition to a Caml
	Light-style bytecode compiler).

Homepage:
https://ocaml.org/
