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.2 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 1B9C5BC37 for ; Sun, 27 Sep 2009 21:33:01 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoADAAdbv0rUnwcjkWdsb2JhbACCIJhjAQEBAQcNCgcTBLZthB4F X-IronPort-AV: E=Sophos;i="4.44,461,1249250400"; d="scan'208";a="47386564" Received: from relay.ptn-ipout01.plus.net ([212.159.7.35]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Sep 2009 21:33:00 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AscIAAdbv0rUnw6S/2dsb2JhbACCINAQhB4F Received: from ptb-relay02.plus.net ([212.159.14.146]) by relay.ptn-ipout01.plus.net with ESMTP; 27 Sep 2009 20:33:00 +0100 Received: from [87.114.87.187] (helo=leper.local) by ptb-relay02.plus.net with esmtp (Exim) id 1MrzUR-0006Tg-Nc for caml-list@yquem.inria.fr; Sun, 27 Sep 2009 20:32:59 +0100 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] JIT & HLVM, LLVM Date: Sun, 27 Sep 2009 20:33:24 +0100 User-Agent: KMail/1.9.9 References: <4E6F3027-5745-462D-AF10-30C868285D28@refined-audiometrics.com> <4ABFB7DE.2050108@gmail.com> <60282.70.26.46.231.1254079393.squirrel@pegasus.carleton.ca> In-Reply-To: <60282.70.26.46.231.1254079393.squirrel@pegasus.carleton.ca> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200909272033.24980.jon@ffconsultancy.com> X-Plusnet-Relay: 5ba828d5da426c9c3dac70e223e9c420 X-Spam: no; 0.00; ocaml:01 ocaml's:01 ocaml:01 damien:01 coq:01 2009:98 carleton:98 frog:98 incremental:01 wrote:01 caml-list:01 dispatch:03 perhaps:05 xavier:06 depend:07 On Sunday 27 September 2009 20:23:13 kcheung@math.carleton.ca wrote: > > I'm not as committed to abandoning OCaml as you seem, and have hope for > > incremental improvement of OCaml's weaknesses, although I realize we'll > > have to break a number of things to get to where we both (and likely > > many others) want to be. > > Perhaps the future adoption of OCaml will > depend on what OCaml 4.0 is going to be like. > If Grand Central Dispatch makes its way > into *nix, then I think it is extremely > worthwhile for OCaml to have support for > something similar. Someone would have to inspire Xavier and/or Damien to start from scratch and build what we need (and not what Coq needs). Realistically, that is never going to happen. We should thank them for enlightening us but this will only ever get built if we build it ourselves. But, hey, at least we can build it in OCaml. ;-) -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e