lang/ocaml/DESCR

   1 Objective Caml is the latest implementation of the Caml dialect of ML. The main
   2 novelties compared with its ancestor, Caml Light, are:
   3
   4      * Full support for objects and classes -- here combined for the first time
   5         with ML-style type reconstruction.
   6      * A powerful module calculus in the style of Standard ML (but retaining
   7         separate compilation).
   8      * A high-performance native code compiler (in addition to a Caml
   9         Light-style bytecode compiler).