Caml

Also known as Categorical Abstract Machine Language

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).

Key facts

Programming language.name: Caml
Programming language.logo: Caml.gif
Programming language.paradigm: Multi-paradigm: functional, imperative
Programming language.family: ML
Programming language.designer: Gérard Huet, Guy Cousineau, Ascánder Suárez, Pierre Weis, Michel Mauny (Heavy Caml), Xavier Leroy (Caml Light)
Programming language.developer: INRIA, ENS
Programming language.latest release version: 0.75
Programming language.typing: inferred, static, strong
Programming language.memory management: automatic
Programming language.operating system: Cross-platform: Unix, Linux, macOS; Windows
Programming language.license: QPL 1, LGPL 2 (Caml Light)

~5 min read

Article

10 sections

Contents

Examples
Hello World
Factorial function (recursion and purely functional programming)
Numerical derivative (higher-order functions)
Discrete wavelet transform (pattern matching)
History
See also
References
Bibliography
External links

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.