Ocaml programming language
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
Categorical list of programming languages | Computer programming language | Functional language | Functional programming | Functional programming language | Hello, world! | Hello World | Hello world program | List of computing topics | ML programming language | ProgrammingLanguage | ProgrammingLanguages | Programming Languages | Programming language | Programming methodology | The hello world program
|
