2000-05-05 06:56:56 +02:00
|
|
|
Objective Caml is the latest implementation of the Caml dialect of ML. The main
|
2003-05-06 19:40:18 +02:00
|
|
|
novelties compared with its ancestor, Caml Light, are:
|
2000-05-05 06:56:56 +02:00
|
|
|
|
|
|
|
* Full support for objects and classes -- here combined for the first time
|
2003-05-06 19:40:18 +02:00
|
|
|
with ML-style type reconstruction.
|
2000-05-05 06:56:56 +02:00
|
|
|
* A powerful module calculus in the style of Standard ML (but retaining
|
2003-05-06 19:40:18 +02:00
|
|
|
separate compilation).
|
2000-05-05 06:56:56 +02:00
|
|
|
* A high-performance native code compiler (in addition to a Caml
|
2003-05-06 19:40:18 +02:00
|
|
|
Light-style bytecode compiler).
|