Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Caml supports functional, imperative, and object-oriented programming styles. It has been developed and distributed by , France's national research institute for computer science, since 1985.
[ | ]
The system is the main implementation of the Caml language. It features a powerful module system and a full-fledged object-oriented layer. It comes with a native-code compiler that supports numerous architectures, for high performance; a bytecode compiler, for increased portability; and an interactive loop, for experimentation and rapid development.
[ | | ]
The system is a lightweight, portable implementation of the core Caml language. Because of its stable status, it is actively used in education. For most other uses, we recommend switching to its successor Objective Caml.
[ | | ]
In addition to the official distribution of the Caml compilers, this site provides a collection of online resources that are useful to Caml users, from beginners to expert programmers. Most of them were contributed by the very active community of Caml programmers.
[ | Documentation | | ]