OCaml stands for Objective Caml [L1 ].
It is strict functional language of ML (see SML) 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