From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id C4E67BC69 for ; Wed, 16 Jan 2008 11:50:41 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAOpvjUfAXQImh2dsb2JhbACQCAEBAQgKKZ0y X-IronPort-AV: E=Sophos;i="4.24,292,1196636400"; d="scan'208";a="6109082" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 16 Jan 2008 11:50:41 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0GAoduk009327 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 16 Jan 2008 11:50:41 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAOpvjUdQRFuw/2dsb2JhbACteA X-IronPort-AV: E=Sophos;i="4.24,292,1196636400"; d="scan'208";a="6725980" Received: from furbychan.cocan.org ([80.68.91.176]) by mail1-smtp-roc.national.inria.fr with ESMTP; 16 Jan 2008 11:50:41 +0100 Received: from rich by furbychan.cocan.org with local (Exim 4.63) (envelope-from ) id 1JF5qu-00068n-5Q for caml-list@inria.fr; Wed, 16 Jan 2008 10:50:36 +0000 Date: Wed, 16 Jan 2008 10:50:36 +0000 To: caml-list@inria.fr Subject: Re: [Caml-list] Re: Hash clash in polymorphic variants Message-ID: <20080116105036.GB23201@annexia.org> References: <200801140956.25449.ober.14@osu.edu> <200801150459.03896.jon@ffconsultancy.com> <20080115.180142.123979196.garrigue@math.nagoya-u.ac.jp> <200801151817.33017.jon@ffconsultancy.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200801151817.33017.jon@ffconsultancy.com> User-Agent: Mutt/1.5.13 (2006-08-11) From: Richard Jones X-Miltered: at discorde with ID 478DE17F.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; hash:01 variants:01 guis:01 lablgtk:01 ocaml:01 ocaml:01 lablgtk:01 gtk:01 translating:01 gtk:01 run-time:01 bindings:01 mli:01 stubs:01 stubs:01 On Tue, Jan 15, 2008 at 06:17:32PM +0000, Jon Harrop wrote: > . GUIs are incredibly important (LablGTK is the world's favorite OCaml > library!) and tens of thousands of OCaml programmers are crying out for > proper LablGTK documentation as a first priority, many of whom are in > industry. GTK itself is horribly undocumented. However SooHyoung Oh has done an excellent job translating the C-based GTK 2.0 tutorial into OCaml, here: http://plus.kaist.ac.kr/~shoh/ocaml/lablgtk2/lablgtk2-tutorial/ > . Rich libraries are incredibly important and OCaml has the > potential to become a hugely successful commercial platform where > people can buy and sell cross-platform libraries but OCaml needs > support for shared run-time DLLs (or something equivalent) this > before this can happen. My requirement is similar to this: (1) to be able to take OCaml libraries and automatically generate C bindings from them (ie. translate the OCaml .mli file into a .h file, and generate stubs). (2) to be able to ship the library as a DLL / .so file. Efficiency is not so much of a concern for me - eg. if the generated stubs worked by copying all strings passed, that would be OK for my requirements. I actually did a little bit of work on a stub/wrapper generator, and I think it is possible to implement it, especially now that ocamlopt can generate PIC. Rich. -- Richard Jones Red Hat