Objective Caml is the latest implementation of the Caml dialect of ML. It has full support for objects and classes combined 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), and labeled arguments with possible default value.
Release Notes: This release adds many bugfixes, new features, and changes to the libraries, runtime system, and internals.
Release Notes: Assorted enhancements and bugfixes.
Release Notes: This release adds support for immediate objects (objects defined without going through a class), improved handling of NaN floats in polymorphic comparisons, and name space depollution in the runtime system to avoid name clashes when linking with external C libraries.
Release Notes: A few bugfixes, and no new features.
Release Notes: This release includes polymorphic methods and record fields, along with many optimizations and enhancements.