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=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 14577BC6B for ; Fri, 17 Aug 2007 11:20:44 +0200 (CEST) Received: from fk-out-0910.google.com (fk-out-0910.google.com [209.85.128.189]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7H9KhlN005660 for ; Fri, 17 Aug 2007 11:20:43 +0200 Received: by fk-out-0910.google.com with SMTP id b27so479766fka for ; Fri, 17 Aug 2007 02:20:43 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=PADU2iASk1V1W/Oujp7tDIf2y6j08hiHtWflZsJF7WMXfaXIqN4HGqQ8wA1IEyY6lgzSGW4mso9JFNX4GHu9GS9h2t1BkD5cV7Zw27+wfklNCGMy0KiDg5J1yjQEuv0XglSUUxFA40McQoyOmykly0lYHvNALugdLgLBx+lhvcU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=Zcjno6jJeeS5O8v+Fo43FyJdCd5qQRqvuYj1Spmnl55UWqQNWJ0yyNcobBZGyINAxCb3rTaL90JfKGQW667gkUfhXTODXhxeUzDUQ7cophI6PGxvFG6y72Hg7WWG/kV1k6RLUo1NSw/m3BHAx9S8ZBKEBh1ECRqkqEOpO+/YeAc= Received: by 10.82.158.12 with SMTP id g12mr3964140bue.1187342442981; Fri, 17 Aug 2007 02:20:42 -0700 (PDT) Received: from ?192.168.1.33? ( [83.33.68.230]) by mx.google.com with ESMTPS id f7sm5123135nfh.2007.08.17.02.20.40 (version=SSLv3 cipher=OTHER); Fri, 17 Aug 2007 02:20:41 -0700 (PDT) In-Reply-To: <200708170936.07538.jon@ffconsultancy.com> References: <5C180944-2CD9-48FB-8802-8AF57972AD2C@gmail.com> <1187329360.29972.26.camel@rosella.wigram> <200708170936.07538.jon@ffconsultancy.com> Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <543F5296-5B0D-47C3-81E3-BBC674C9558D@gmail.com> Cc: caml-list@yquem.inria.fr Content-Transfer-Encoding: 7bit From: Joel Reymont Subject: Re: [Caml-list] JIT VM in OCaml: Impossible? Date: Fri, 17 Aug 2007 10:20:23 +0100 To: Jon Harrop X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 46C5686B.001 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at discorde with ID 46C5686B.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 erlang:01 bytecode:01 ocaml:01 2007,:98 closures:01 wrote:01 compile:01 compile:01 caml-list:01 suggesting:02 native:03 native:03 btw:03 compiled:04 Jon, On Aug 17, 2007, at 9:36 AM, Jon Harrop wrote: > If you can do that, you can probably JIT compile to native code > just as easily using the natdynlink branch (its awesome, BTW). Are you saying that I can easily compile _Erlang bytecode_ to native code with the natdynlink branch? :-) Are you suggesting, perhaps, that once the chain of OCaml closures is built it can be compiled to native code? How would you do it exactly with natdynlink? Thanks, Joel -- http://wagerlabs.com