Caml

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.

#505on PLDB

39Years Old

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

Caml website
Caml Wikipedia page
Caml first developed in INRIA
Explore Caml snippets on Rosetta Code
Caml on HOPL
Caml appears in the TIOBE Index
See also: (6 related languages)OCaml, ML, F#, Lisp, C, Standard ML

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]

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

Language features