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 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://ocaml.org/).
Usenet newsgroup: news:comp.lang.ml.
[“The CAML Reference Manual”, P. Weis et al, TR INRIA-ENS, 1989].
(2002-05-21)
Read Also:
- Objective-case
noun 1. (def 2a). [uh b-jek-tiv] /əbˈdʒɛk tɪv/ noun 1. something that one’s efforts or actions are intended to attain or accomplish; purpose; goal; target: the objective of a military attack; the objective of a fund-raising drive. 2. Grammar. 3. Also called object glass, object lens, objective lens. Optics. (in a telescope, microscope, camera, or […]
- Objective-complement
noun 1. .
- Objective-correlative
noun, Literature. 1. a completely depicted situation or chain of events that objectifies a particular emotion in such a way as to produce or evoke that emotion in the reader.
- Objective danger
noun 1. (mountaineering) a danger, such as a stone fall or avalanche, to which climbing skill is irrelevant
- Objective genitive
noun 1. (grammar) a use of the genitive case to express an objective relationship, as in Latin timor mortis (fear of death)