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 many modern features from state-of-the-art computer science and fast native compilers for many operating systems.
English, Français. [Open Source, INRIA]