Re: Greetings!

[Sven LUTHER <luther@dpt-info.u-strasbg.fr>]

On Thu, Jun 08, 2000 at 12:16:19PM +0200, David Mentré wrote:
> Sven LUTHER <luther@debian.org> writes:
> 
> [ lablgtk/mlgtk ]
> > stuff of olabl/ocaml 3.00, and is said to 'have a type system that only
> > Jacques Guarrigue understands'.
> 
> To see the difference, you can look at this message posted by Pierre
> Weis on caml-list (about CamlTk and LablTk, same difference but with
> Tk):
> 
>  http://pauillac.inria.fr/caml/caml-list/2866.html

Well this article, which i did read with interest when it was posted to the
caml list, show difference between what was done fro camltk and labltk. I
think there are other differnces between mlgtk and lablgtk as well, having to
do with the object oriented part of ocaml, in particular old lablgtk (when it
was used with olabl) made use of polymorphic methods, which didn't make it in
the ocaml/olabl merge. But since i am not personnally using the object part of
ocaml myself, and didn't really look at lablgtk in depth.

That said, Georges mariano is directing a TER about the difference between the
different ocaml GUI possibilities, how did this work out Georges ?

Also as notice, i have been developping a c2caml tool to produce automatic
ocaml bindings for C library from the .h headers, that i wanted to use to
automatically generate such bin=dings for forthcomming gtk+ versions, but have
no time to work on it :(((. It already parses gtk/glib headers correctly,
though.

Friendly,

Sven LUTHER