Languages Features Creators CSV Resources Challenges Add Language
GitHub icon


Caml - Programming language

< >

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.

#472on PLDB 38Years 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 Token Example
Strings "
"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
pic-microcontroller.html · caml.html · fortress.html

View source

- Build the next great programming language · Search · Day 213 · About · Blog · Acknowledgements · Traffic · Traffic Today · GitHub ·