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.