From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 489E8BDCB for ; Tue, 30 Aug 2005 18:03:28 +0200 (CEST) Received: from nproxy.gmail.com (nproxy.gmail.com [64.233.182.203]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j7UG3RLb016370 for ; Tue, 30 Aug 2005 18:03:28 +0200 Received: by nproxy.gmail.com with SMTP id a4so388198nfc for ; Tue, 30 Aug 2005 09:03:27 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=LB+18RfCE8PY5/h67eWk1jm+ic7SPpjxr0BZLksg1qTZwim3o3Tq1HjmwD2kwHcJzahqxTQdstS0Ah9GNA+wz4ac4uXi4dw0d3pi8+pUTx3hjKS4gfzvaD/lrSZNteZsnYoQXrpXSZk1lMU7JWjgMkSRCx1feLUCQxL0oswpAws= Received: by 10.48.1.14 with SMTP id 14mr367158nfa; Tue, 30 Aug 2005 09:03:27 -0700 (PDT) Received: by 10.48.247.14 with HTTP; Tue, 30 Aug 2005 09:03:27 -0700 (PDT) Message-ID: Date: Tue, 30 Aug 2005 17:03:27 +0100 From: Chris Campbell To: Richard Jones Subject: Re: GUI for OCaml (was: Re: [Caml-list] Does LablTk have a future?) Cc: David MENTRE , caml-list@yquem.inria.fr In-Reply-To: <20050830141430.GA16012@furbychan.cocan.org> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: <4311DA63.4010104@havenrock.com> <200508292333.59714.jon@ffconsultancy.com> <3d13dcfc050830001671d0974f@mail.gmail.com> <20050830141430.GA16012@furbychan.cocan.org> X-Miltered: at nez-perce with ID 4314834F.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 caml-list:01 labltk:01 lablgtk:01 lablgtk:01 gtk:01 ocaml:01 gtk:01 macos:01 api:01 snippets:01 model:01 ...:98 offs:98 wrote:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled version=3.0.3 On 30/08/05, Richard Jones 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. >=20 > 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. [...] >=20 > 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 http://www.mozart-oz.org/documentation/mozart-stdlib/wp/qtk/html/index.html= . It's incredibly simple, yet very powerful.