OCaml stands for Objective Caml [http://www.ocaml.org].

It is strict functional language of ML family. It features modular structure, polymorphic
typing with type inference and has pretty wide set of libraries and tools. Also, it is
simple, fast, has very fast compiler and pretty compact.

[Category Language]