OCaml | Article about OCaml by The Free Dictionary
Also found in: Dictionary
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  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