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

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 [GUI]s ([labltk] module).

Given that Ocaml can be used to create share libraries [http://caml.inria.fr/pub/docs/manual-ocaml/manual032.html#toc137], just like C, it should not be that difficult to use with Tcl - in the classic Tcl as glue for another language fashion.

----
!!!!!!
%| [Category Language] |%
!!!!!!