Hello!
I'm working on Qt bindings for OCaml. You can browse my code at https://github.com/Kakadu/lablqt
Now qtjambi parses Qt's header files and generates an XML representation of API. Then binding generator generates OCaml and C++ code of bindings.
Now a big part of Qt's API is stored in aaa.xml, so you don't need to install qtjambi's generator. Big part of QtCore É QtGui is incapsulated in this xml file.
You can use build.ml script to compile lablqt. Btw, lablqt depends on janestreet's core_extended library.
You can see test examples in test_gen/test* directories. For examle: https://github.com/Kakadu/lablqt/blob/master/test_gen/test5/main.ml
I've implemented almost type-safe connections from signals to slots. Also I've created tool to simplify creating of user-defined slots: you can connect them like herešš and write your code separately .
Lablqt is compilable only on a few number of machines, so I'll be glad if you test it on your computer.
It's difficult to me to decide in what direction Qt bindings should be developed. I you have any ideas or recommendations, I'll be glad to read them.
Best wishes,
Kakadu