OCaml


Also found in: Medical, Acronyms, Wikipedia.

OCaml

(Objective CAML) A programming language developed by the French National Institute for Computer Science in the mid-1990s. OCaml is the object-oriented version of Caml, which is a dialect of the ML language (Caml stood for Categorical Abstract Machine Language). OCaml is used for industrial strength applications; for example, Facebook has used it to build internal systems, Docker implementations and Citrix XenServer libraries were written in Ocaml. OCaml is touted as a functional, imperative and object-oriented programming language, combining the features of the three major language categories. See programming language.
References in periodicals archive ?
To make it worse, OCaml, more than most other programming languages, traffics in a kind of deep abstract math far beyond most coders.
That this type checker is written entirely in OCaml is no coincidence.
Polymorphic recursion as introduced by Mycroft [1984] is not needed to type-check the source OCaml language, but is desirable to enhance the precision of our exception analyzer.
Table I gives timings for the analysis of various small to medium-sized OCaml programs.
mli) CamlTk 10080 4596 Coq 69571 9054 Ensemble 27747 6842 MMM 15645 2967 OCaml Libs 8521 4746 OCaml Progs 27069 3872