objective caml
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of objective caml words
- noun Technical meaning of 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. 1
Information block about the term
Parts of speech for Objective caml
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with o
- Words starting with ob
- Words starting with obj
- Words starting with obje
- Words starting with objec
- Words starting with object
- Words starting with objecti
- Words starting with objectiv
- Words starting with objective
- Words starting with objectivec
- Words starting with objectiveca
- Words starting with objectivecam
- Words starting with objectivecaml
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?