Paradigm | Multi-paradigm: functional, imperative |
---|---|
Family | ML |
Designed by | Gérard Huet, Guy Cousineau, Ascánder Suárez, Pierre Weis, Michel Mauny (Heavy Caml), Xavier Leroy (Caml Light) |
Developer | INRIA, ENS |
First appeared | 1985 |
Stable release | 0.75[1]
/ January 26, 2002 |
Typing discipline | inferred, static, strong |
Memory management | automatic |
OS | Cross-platform: Unix, Linux, macOS; Windows |
License | QPL 1, LGPL 2 (Caml Light) |
Website | caml |
Influenced by | |
ML | |
Influenced | |
OCaml |
Caml (originally an acronym for Categorical Abstract Machine Language) is a multi-paradigm, general-purpose, high-level, functional programming language which is a dialect of the ML programming language family. Caml was developed in France at French Institute for Research in Computer Science and Automation (INRIA) and École normale supérieure (Paris) (ENS).
Caml is statically typed, strictly evaluated, and uses automatic memory management. OCaml, the main descendant of Caml, adds many features to the language, including an object-oriented programming (object) layer.