TL;DR: being an OCaml programmer now, and having worked wi=
th Ada (avionics/military sector) for a few years, my reply is: none of the=
two :-)
Long version: I should copy&paste your long=
version, I agree with your analysis. In my opinion the best for good-looki=
ng GUI is Python+PyQT, which is a really mature and stable environment. Avo=
id C++ + QT, it's stable of course, but using C++ in 2013 is a real<=
/b> PITA. Python is totally unsafe, but in tandem with PyQT takes you to a =
very fast and productive environment.
GTK: my personal opinion is that it's an awful tool=
kit, from each and every point of view. Bad software design, horrible widge=
ts, etc... The OCaml binding is probably (from the programmer point of view=
) better than the original C API, but it's still a pain.
Just my 2 =C2=A2 of course.
--=C2=A0
Paolo
--047d7bd7526e716e2704e60e5785--