Objective CAML

language (Originally "CAML" - Categorical Abstract Machine

Language) A version of ML by G. Huet, G. Cousineau, Ascander

Suarez, Pierre Weis, Michel Mauny and others of INRIA. CAML

is intermediate between LCF ML and SML [in what sense?].

It has first-class functions, static type inference with

polymorphic types, user-defined variant types and producttypes, and pattern matching. It is built on a proprietary

run-time system.

The CAML V3.1 implementation added lazy and mutable data

structures, a "grammar" mechanism for interfacing with the

Yacc parser generator, pretty-printing tools,

high-performance arbitrary-precision arithmetic, and a

complete library.

in 1990 Xavier Leroy and Damien Doligez designed a new

implementation called CAML Light, freeing the previous

implementation from too many experimental high-level features,

and more importantly, from the old Le_Lisp back-end.

Following the addition of a native-code compiler and a

powerful module system in 1995 and of the object and

class layer in 1996, the project's name was changed to

Objective CAML. In 2000, Jacques Garrigue added labeled and

optional arguments and anonymous variants.

Objective CAML Home .

Usenet newsgroup: news:comp.lang.ml.

["The CAML Reference Manual", P. Weis et al, TR INRIA-ENS,

1989].

(2002-05-21)