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.9 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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id B5F75BC6B for ; Thu, 16 Aug 2007 16:10:27 +0200 (CEST) Received: from mu-out-0910.google.com (mu-out-0910.google.com [209.85.134.187]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7GEARfP028072 for ; Thu, 16 Aug 2007 16:10:27 +0200 Received: by mu-out-0910.google.com with SMTP id w9so257363mue for ; Thu, 16 Aug 2007 07:10:24 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:mime-version:content-transfer-encoding:message-id:content-type:to:from:subject:date:x-mailer; b=b9zx7LBlptTnl+In438Cp8SLNUe+hekaYfy1ZotEpRwpIpBKe8h8yTzwRowVraxrOVTgNvjBc2bySgDL+SO6M44ManDUGzDIPcQMVtpROs4+VvnCnoMf7sGweEfSu3JUZzp0uYfx9AjqQ+a6suFCFdxQWi12HI9EZ5KMzeUlufE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:mime-version:content-transfer-encoding:message-id:content-type:to:from:subject:date:x-mailer; b=GyrokZ66Rs2/M4Z+V/byySxh7B6PFikWj+ARc20VIDQx43hDQCgk4qhambdy7UK6+U1zPpnNloyhmbZOqdMwvLtw1TRTeuW9ctkO1FFT4GomJVWqDmz7WYuwHRjEKc6g1JDXhL7qwWzMQP+Hnz1q3Tj6hwC972Yw/H3pdUwmow4= Received: by 10.82.186.5 with SMTP id j5mr2548251buf.1187273423722; Thu, 16 Aug 2007 07:10:23 -0700 (PDT) Received: from ?192.168.1.33? ( [83.33.68.230]) by mx.google.com with ESMTPS id k5sm416444nfh.2007.08.16.07.10.22 (version=SSLv3 cipher=OTHER); Thu, 16 Aug 2007 07:10:22 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v752.3) Content-Transfer-Encoding: 7bit Message-Id: <5C180944-2CD9-48FB-8802-8AF57972AD2C@gmail.com> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: Caml List From: Joel Reymont Subject: JIT VM in OCaml: Impossible? Date: Thu, 16 Aug 2007 15:10:06 +0100 X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 46C45AD3.000 on concorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at concorde with ID 46C45AD3.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 runtime:01 seems:03 mistaken:08 generation:12 folks:12 should:13 does:14 code:17 thanks:17 write:17 possible:17 possible:17 impossible:22 Folks, Is it possible to write a JIT VM in OCaml? It seems that this should not be possible as OCaml does not allow for code generation at runtime. Am I mistaken? Thanks, Joel -- http://wagerlabs.com