Caml - Programming language

home edit

Caml, aka Categorical abstract machine language, is a programming language created in 1985 by Gérard Huet and Guy Cousineau and Ascánder Suárez and Pierre Weis and Michel Mauny.

#628on PLDB

39Years Old

Homepage · Wikipedia

Caml (originally an acronym for Categorical abstract machine language) is a multi-paradigm, general-purpose programming language which is a dialect of the ML programming language family. Caml was developed in France at INRIA and ENS. Like many descendants of ML, Caml is statically typed, strictly evaluated, and uses automatic memory management. Read more on Wikipedia...

Tags: programming language
Early development of Caml happened in Inria
Explore Caml snippets on Rosetta Code
Caml on HOPL
Caml appears in the TIOBE Index
See also: (7 related languages) OCaml, ML, F#, Lisp, C, Standard ML, OCaml

Example from hello-world:

print_endline "Hello World";;

Example from Wikipedia:

# haar [1; 2; 3; 4; -4; -3; -2; -1];;
   - : int list = [0; 20; 4; 4; -1; -1; -1; -1]

Language features

Feature	Supported	Example	Token
Strings	✓	"Hello world"	"
Print() Debugging	✓		print_endline