Ocaml
From Vd
General Information
Caml is a general-purpose programming language, designed with program safety and reliability in mind. Caml supports functional, imperative, and object-oriented programming styles.
The Objective Caml (or ocaml) system is the main implementation of the Caml language. It features a powerful module system and a 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.