Top 1,000 Features Creators Events Podcasts Extensions Blog Explorer CSV Download


< >

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.

#588on 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...

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 Token Example
Strings "
"Hello world"
Print() Debugging print_endline

View source

- Build the next great programming language · About · Resources · Acknowledgements · Part of the World Wide Scroll