OCaml
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.
| Licenses | QPL |
|---|
Recent releases
- 30 Apr 2008 23:25
Changes: Assorted enhancements and bugfixes.
- 26 Mar 2005 05:19
Changes: 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.
- 21 Aug 2002 01:03
Changes: A few bugfixes, and no new features.
- 29 Jul 2002 16:38
Changes: This release includes polymorphic methods and record fields, along with many optimizations and enhancements.
- 12 Mar 2001 09:36
Changes: Highlights of this release include: Revised compilation of pattern matching, optimizations for the native code compiler, and new ports for the Intel IA64/Itanium under Linux (including a native code compiler), Cygwin under MS Windows, and Mac OS X public beta.
