Objective CAML

(language)(Originally "CAML" - Categorical Abstract MachineLanguage) A version of ML by G. Huet, G. Cousineau, AscanderSuarez, Pierre Weis, Michel Mauny and others of INRIA. CAMLis intermediate between LCF ML and SML It has first-class functions, static type inference withpolymorphic types, user-defined variant types and product types, and pattern matching. It is built on a proprietaryrun-time system.

The CAML V3.1 implementation added lazy and mutable datastructures, a "grammar" mechanism for interfacing with theYacc parser generator, pretty-printing tools,high-performance arbitrary-precision arithmetic, and acomplete library.

in 1990 Xavier Leroy and Damien Doligez designed a newimplementation called CAML Light, freeing the previousimplementation 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 apowerful module system in 1995 and of the object andclass layer in 1996, the project's name was changed toObjective CAML. In 2000, Jacques Garrigue added labeled andoptional 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].

单词	objective caml
释义	Objective CAML Objective CAML (language)(Originally "CAML" - Categorical Abstract MachineLanguage) A version of ML by G. Huet, G. Cousineau, AscanderSuarez, Pierre Weis, Michel Mauny and others of INRIA. CAMLis intermediate between LCF ML and SML It has first-class functions, static type inference withpolymorphic types, user-defined variant types and product types, and pattern matching. It is built on a proprietaryrun-time system. The CAML V3.1 implementation added lazy and mutable datastructures, a "grammar" mechanism for interfacing with theYacc parser generator, pretty-printing tools,high-performance arbitrary-precision arithmetic, and acomplete library. in 1990 Xavier Leroy and Damien Doligez designed a newimplementation called CAML Light, freeing the previousimplementation 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 apowerful module system in 1995 and of the object andclass layer in 1996, the project's name was changed toObjective CAML. In 2000, Jacques Garrigue added labeled andoptional 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]. AcronymsSeeOCaml
随便看	national clinical database national clinical dataset development programme national clinical governance priorities national clinical governance support team national clinical mental health counseling examination national clinical reference panel national clinical research national clinical trial national clinic defense project national clinicians' post-exposure prophylaxis hotline national clonal germplasm repositories national clonal germplasm repository national club association national club championship national club championship handbook national club industry association of america national club of real estate investors national club swimming association national coach and athlete career and education national coach development school national coaches education program national coal association national coal heritage area national coalition against censorship national coalition against domestic violence