LablTk is an interface to Tk for Ocaml.
It "is kinda like writing tk code with type checking. It's rather neat, but not terribly intuitive unless you understand how both tcl and ocaml work."
RLH Posting some example code would be nice.