From Wikipedia, the free encyclopedia.
Objective CAML, also known as Ocaml or O'Caml for short, is an advanced programming language based on the ML family. Caml stands for Categorically Abstract Machine Language.
To the functional and imperative features of Standard ML, it adds object-oriented concepts and some minor syntax differences.
Ocaml provides both a bytecode compiler and a native code compiler, and the latter has been ported to a large number of platforms. The code generated by the native compiler is typically comparable to C/C++ in speed.
Powerful features of the language include a static type system, pattern matching, an exception mechanism, and automatic memory management. Ocaml distributions include general purpose libraries and are available for a wide range of platforms, including Unix and Windows.
Ocaml is used in a wide range of applications including theorem proving and program analysis. It is used as an introductory language in many universities, including Caltech
See also: F sharp programming language
External Links
