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.8 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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id A7AE1BBAF for ; Fri, 19 Dec 2008 23:50:19 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.36,251,1228086000"; d="scan'208";a="18715740" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 19 Dec 2008 23:50:19 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id mBJMoI5Y008747 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 19 Dec 2008 23:50:19 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqEBAKuzS0nUnw4SlGdsb2JhbACCO5EqAQEBAQkLCAkRA6oOWJBugwM X-IronPort-AV: E=Sophos;i="4.36,251,1228086000"; d="scan'208";a="32906815" Received: from pih-relay05.plus.net ([212.159.14.18]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 19 Dec 2008 23:50:18 +0100 Received: from [87.114.38.62] (helo=leper.local) by pih-relay05.plus.net with esmtp (Exim) id 1LDoAj-0000pN-Hi for caml-list@inria.fr; Fri, 19 Dec 2008 22:50:17 +0000 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@inria.fr Subject: Re: [Caml-list] More cores Date: Fri, 19 Dec 2008 22:53:15 +0000 User-Agent: KMail/1.9.9 References: <157727.93194.qm@web111508.mail.gq1.yahoo.com> <200812192231.33131.jon@ffconsultancy.com> <20081220093640.a8da1a8c.mle+ocaml@mega-nerd.com> In-Reply-To: <20081220093640.a8da1a8c.mle+ocaml@mega-nerd.com> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200812192253.15207.jon@ffconsultancy.com> X-Plusnet-Relay: 0679d955fec3fd79ef5bed9689bf08be X-Miltered: at concorde with ID 494C252A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; compiler:01 ocaml:01 ocamlopt:01 vaguely:01 utils:01 much-needed:98 frog:98 wrote:01 wrote:01 caml-list:01 tree:02 contributors:03 commit:03 benchmark:04 erik:04 On Friday 19 December 2008 22:36:40 Erik de Castro Lopo wrote: > Jon Harrop wrote: > > I have actually already started this using the excellent LLVM project and > > I just obtained the first promising results yesterday: a simple benchmark > > where my compiler runs OCaml code 3x faster than ocamlopt does. > > Is this going to be an open source project? Yes. > Is this (or is this going to be) developed in the open with the sources in a > publicly available revision control system? Yes. I will, most likely, work on this as a fun project for as long as possible in an attempt to build something vaguely inspiring before I put the code up somewhere (e.g. OCamlForge). I will be more than happy to give contributors commit access to the source because I am very busy with unrelated projects. If anyone is desperately keen to have a play then I'll consider putting it up immediately. The only thing that some might object to is that I would like to make this a commerce-friendly platform if possible, i.e. facilitate the buying and selling of libraries built upon this platform. I don't see that this desire has any negative effects but I believe the presence of a commercial platform built around such a foundation would help to provide much-needed resources to fund further work. I should also mention that several other people are working on similar things, also building upon LLVM. Someone has even tried to contribute an ML implementation to LLVM itself as a configuration tool: http://github.com/pcwalton/llvm-nw/tree/miniml/utils/TableML/Core -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e