English Dictionary: Objective CAML | by the DICT Development Group |
1 result for Objective CAML | |
From The Free On-line Dictionary of Computing (15Feb98) [foldoc]: | |
Objective CAML 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 {product types}, 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 (http://www.ocaml.org/)}. {Usenet} newsgroup: {news:comp.lang.ml}. ["The CAML Reference Manual", P. Weis et al, TR INRIA-ENS, 1989]. (2002-05-21) |