9 lines
460 B
Text
9 lines
460 B
Text
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).
|