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. The Objective Caml 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.