English version
Accueil     Ŕ propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis ŕ jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml ŕ l'adresse ocaml.org.

Browse thread
Does LablTk have a future?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-08-30 (16:03)
From: Chris Campbell <cyberdanx@g...>
Subject: Re: GUI for OCaml (was: Re: [Caml-list] Does LablTk have a future?)
On 30/08/05, Richard Jones <rich@annexia.org> wrote:
> On Tue, Aug 30, 2005 at 09:16:20AM +0200, David MENTRE wrote:
> > The client of my application is also written in Lablgtk2 and, despite
> > helpful answers by Jacques Garrigue and Olivier Andrieux as well as
> > SooHyoung Oh's tutorials, I find programming with Labgtk2 not very
> > easy (to say the least). I find Lablgtk2 is largely under-documented.
> > Of course, this is a large task that cannot be achieved by two
> > individuals.
> Lablgtk2 is a pain, but I think the pain comes from Gtk itself, not
> any shortcomings in lablgtk2 or ocaml.

Yep.  Every time I've used a binding to Gtk in any language it's been
pretty ugly.  Unfortunately it's seems to be the only one any wants to
bind to on Linux. :'(

>> I'd also loved too. Having a cross-platform GUI (with native look and
>> behaviour on Windows and MacOS X),   programmed using a functional
>> style, well documented (with reference manual and tutorial) and with
>> necessary tools (GUI design application) would be very very helpful.
>> However this is a huge task. [...]
> It is a huge task.  I'm not even sure what a "functional" API for a
> GUI toolkit would look like.  Ideas?  Example code snippets?

Ch 10 or 11 of CTM (Concepts, Techniques and Models of Computer
Programming by Haridi and Van Roy) describes a good model and the
trade offs of various models.  The ref documentation for QTk, the
toolkit they describe, is available at

It's incredibly simple, yet very powerful.