http://caml.inria.fr/
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.