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.