OCaml
 |
|
| Paradigm | multi-paradigm: imperative, functional, object-oriented |
|---|---|
| Designed by | Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez |
| Developer | INRIA |
| First appeared | 1996 |
| Stable release |
4.04.0 / November 4, 2016
|
| Typing discipline | static, strong, inferred |
| Implementation language | OCaml, C |
| Platform | IA-32, X86-64, Power, SPARC, ARM 32-64 |
| OS | Cross-platform: Unix, macOS, Windows |
| License | LGPL |
| Filename extensions | .ml, .mli |
| Website | ocaml |
| Dialects | |
| F#, JoCaml, MetaOCaml, OcamlP3l, Reason | |
| Influenced by | |
| Caml Light, Cool,Standard ML | |
| Influenced | |
| ATS, Elm, F#, F*, Haxe, Opa, Rust, Scala | |
|
|
|
OCaml (/oʊˈkæməl/ oh-KAM-əl), originally named Objective Caml, is the main implementation of the programming language Caml, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez and others in 1996. A member of the ML language family, OCaml extends the core Caml language with object-oriented programming constructs.
OCaml's toolset includes an interactive top-level interpreter, a bytecode compiler, a reversible debugger, a package manager (OPAM), and an optimizing native code compiler. It has a large standard library, making it useful for many of the same applications as Python or Perl, and has robust modular and object-oriented programming constructs that make it applicable for large-scale software engineering. OCaml is the successor to Caml Light. The acronym CAML originally stood for Categorical Abstract Machine Language, although OCaml omits this abstract machine.
OCaml is a free and open-source software project managed and principally maintained by French Institute for Research in Computer Science and Automation (INRIA). In the early 2000s, many new languages adopted elements from OCaml, most notably F# and Scala.
...
Wikipedia