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 INRIA, a French research institute in computer science and applied mathematics, since 1985.

The OCaml 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 Caml Light system is an older, lightweight implementation of the core Caml language. It is obsolete, no longer actively maintained, and will be removed eventually. We recommend switching immediately to its successor, OCaml.

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.