Was (wer) ist Objective Caml - definition

EXTENSION OF THE CAML PROGRAMMING LANGUAGE

Ocaml programming language; Ocaml Programming Language; O'Caml; O'caml; OCaml programming language; O'Caml programming language; O'Caml (programming language); OCaml (programming language); Ocaml; Objective Caml programming language; OCAML; O`Caml; Objective CAML; O’Caml; Objective Caml (programming language); MetaOCaml; Objective Caml; Objective caml; OCaml Package Manager; Ocamlyacc; Ocaml.org

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)

object glass

OPTICAL ELEMENT THAT GATHERS LIGHT FROM THE OBJECT BEING OBSERVED AND FOCUSES THE LIGHT RAYS TO PRODUCE A REAL IMAGE

Objective glass; Object glass; Object lens; Objective lens; Microscope objective lens; Microscope objective; Objective lenses; Object lenses; Object glasses; Objective glasses; Infinity correction; Infinity Correction; Objective (lens); Microscope Objective

¦ noun old-fashioned term for objective (in sense 2).

Categorical Abstract Machine Language

DIALECT OF THE ML PROGRAMMING LANGUAGE FAMILY

Caml Light; Categorical Abstract Machine Language; Catagorical Abstract Machine; 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 and ENS. 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. CAML V3 is often nicknamed "heavy CAML", because of its heavy memory and CPU requirements compared to Caml Light. 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. ["The CAML Reference Manual", P. Weis et al, TR INRIA-ENS, 1989]. (2003-04-12)

Wikipedia

OCaml

OCaml ( oh-KAM-əl, formerly Objective Caml) is a general-purpose, high-level multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features. OCaml was created in 1996 by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez, and others.

The OCaml toolchain includes an interactive top-level interpreter, a bytecode compiler, an optimizing native code compiler, a reversible debugger, and a package manager (OPAM). OCaml was initially developed in the context of automated theorem proving, and has an outsize presence in static analysis and formal methods software. Beyond these areas, it has found serious use in systems programming, web development, and financial engineering, among other application domains.

The acronym CAML originally stood for Categorical Abstract Machine Language, but OCaml omits this abstract machine. OCaml is a free and open-source software project managed and principally maintained by the French Institute for Research in Computer Science and Automation (Inria). In the early 2000s, elements from OCaml were adopted by many languages, notably F# and Scala.

https://en.wikipedia.org/wiki/OCaml