Languages Features Calendar CSV Lists Blog About Sponsor Add Language
GitHub icon



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

#454on PLDB 37Years Old 441Users
4Books 2Papers

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

Books about Caml on goodreads

title author year reviews ratings rating
The Objective Caml Programming Language Tim Rentsch 0 1 5.00
Functional programming using Caml Light Michel Mauny 0 1 4.00

Books about Caml from ISBNdb

title authors year publisher
Creating High-Performance, Statically Type-Safe Network Applications: Domain-Specific Languages for constructing network applications using Objective Caml Madhavapeddy, Anil 2010 LAP LAMBERT Academic Publishing
The Objective Caml Programming Language Tim Rentsch 2008 Abscissa Press

Publications about Caml from Semantic Scholar

title authors year citations influentialCitations
Caml trading – experiences with functional programming on Wall Street Y. Minsky and Stephen Weeks 2008 18 1
Caml trading Y. Minsky 2008 2 0
eve.html · caml.html · mbasic.html

View source

PLDB - Build the next great programming language · v2022 · Day 32 · Docs · Build · Acknowledgements · Traffic Today · Traffic Trends · Mirrors · GitHub ·