Caml

Caml
ParadigmMulti-paradigm: functional, imperative
FamilyML
Designed byGérard Huet, Guy Cousineau, Ascánder Suárez, Pierre Weis, Michel Mauny (Heavy Caml), Xavier Leroy (Caml Light)
DeveloperINRIA, ENS
First appeared1985; 39 years ago (1985)
Stable release
0.75[1] / January 26, 2002; 22 years ago (2002-01-26)
Typing disciplineinferred, static, strong
Memory managementautomatic
OSCross-platform: Unix, Linux, macOS; Windows
LicenseQPL 1, LGPL 2 (Caml Light)
Websitecaml.inria.fr
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.

  1. ^ "Latest Caml Light release". Retrieved 22 February 2020.