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 043F8BC6C for ; Thu, 31 Jan 2008 16:03:47 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4FAD9xoUfUnw6GgGdsb2JhbACCNo1sAQEJCiIHmUA X-IronPort-AV: E=Sophos;i="4.25,285,1199660400"; d="scan'208";a="6783866" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 31 Jan 2008 16:03:46 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0VF3jIh019094 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 31 Jan 2008 16:03:46 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4FAD9xoUfUnw6GgGdsb2JhbACCNo1sAQEJCiIHmUA X-IronPort-AV: E=Sophos;i="4.25,285,1199660400"; d="scan'208";a="6783865" Received: from pih-relay08.plus.net ([212.159.14.134]) by mail2-smtp-roc.national.inria.fr with ESMTP; 31 Jan 2008 16:03:46 +0100 Received: from [80.229.56.224] (helo=beast.local) by pih-relay08.plus.net with esmtp (Exim) id 1JKax7-0000Mu-KP; Thu, 31 Jan 2008 15:03:45 +0000 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: Berke Durak Subject: Re: [Caml-list] Using dynlink (native code and byte code) for the build system Date: Thu, 31 Jan 2008 14:58:37 +0000 User-Agent: KMail/1.9.7 References: <47A19CA2.9010303@exalead.com> <200801311448.38703.jon@ffconsultancy.com> <47A1E250.8020608@exalead.com> In-Reply-To: <47A1E250.8020608@exalead.com> Cc: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Message-Id: <200801311458.38051.jon@ffconsultancy.com> X-Plusnet-Relay: 5b9944ff88d5f8c5d697e75209d792d1 X-Miltered: at concorde with ID 47A1E351.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; dynlink:01 byte:01 berke:01 durak:01 frisch:01 berke:01 durak:01 fwiw:01 ocaml:01 bytecode:01 afaik:01 toplevel:01 ocaml:01 compilation:01 frog:98 On Thursday 31 January 2008 14:59:28 Berke Durak wrote: > Jon Harrop a =C3=A9crit : > > On Thursday 31 January 2008 14:49:44 Alain Frisch wrote: > >> Berke Durak wrote: > >>> Thank to Alain Frisch's natdynlink, it is now possible to dynamically > >>> load native code plugins. > >> > >> Only on some platforms! Please don't make the availability of exotic > >> features mandatory for the build system to work. > > > > FWIW, I think natdynlink should be a core feature of OCaml going forwar= ds > > because it is useful in so many circumstances > > I agree. However such a build system will also work with bytecode, albeit > at lower performance, on platforms not supporting natdynlink. A build > system is also not computationally too intensive, so it should be OK. Good point. AMD64 gives far better performance than all other platforms any= way=20 (AFAIK) so people should be using that if they want good performance anyway. > > not least the performant top-level. > > Natdynlink in the toplevel?? Alain wrote "ocamlnat", an OCaml top-level that uses compilation to native= =20 code (with dynamic linking) to provide performance competitive with other=20 languages like Lisp and F#. I found this extremely useful for the few month= s=20 that I used it, although it was a little buggy. =2D-=20 Dr Jon D Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/products/?e