Ocaml
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
- http://caml.inria.fr/ -- O'Caml official website
- http://pauillac.inria.fr/caml/ -- O'Caml resources
- http://www.bagley.org/~doug/shootout/ -- Comparison of the speed of various languages (with favorable results for Ocaml)
- http://www.merjis.com/richj/computers/ocaml/tutorial/ -- O'Caml tutorial
Referenced By
Algebraic data type | Algebraic data types | Alphabetical list of programming languages | Exception | Exception handling | F Sharp | F Sharp programming language | Generational list of programming languages | List of open-source software packages | List of open source software packages | List of programming languages | MLDonkey | Open-source software | Open source software | Programming languages | Texvc
|
