Qt + OCaml
I'm prototyping OCaml bindings to Qt. I've adopted qtjambi generator to generate API in XML format. This xml is parsed by my tool and C++ and OCaml stubs are generated.
Qt classes are represented as OCaml classes. There are functions to connect signals and slots with correctness checking in compile-time. There is an ability to generate a big user object where slots are callbacks to OCaml code.
I've created an example inspired by Qt's Basic Layout example.
You can look at it in "github":http://github.com/Kakadu/lablqt
If you look at my project, test it or write which ocaml bindings should be, I'll be glad. )