OCaml stands for Objective Caml [L1 ].
It is a strict functional programming 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.
And one can note, that it can use Tk for GUIs (labltk module).