Version française
Home     About     Download     Resources     Contact us    
What is Caml?
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.
OCaml
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.
Caml Light
The Caml Light 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 OCaml.
Resources for Caml Users
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.