Caml

Caml
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 / 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.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.