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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 7C157BBAF for ; Sun, 25 Jan 2009 06:17:19 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AncBAF+Ee0nUnwdkmWdsb2JhbACCPJE/AQEBAQEICwoHEbQChUw X-IronPort-AV: E=Sophos;i="4.37,320,1231110000"; d="scan'208";a="23021388" Received: from relay.pcl-ipout02.plus.net ([212.159.7.100]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Jan 2009 06:17:19 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AswEABiFe0nUnw6S/2dsb2JhbACCPMV/hUw Received: from ptb-relay02.plus.net ([212.159.14.146]) by relay.pcl-ipout02.plus.net with ESMTP; 25 Jan 2009 05:17:06 +0000 Received: from [87.112.89.52] (helo=leper.local) by ptb-relay02.plus.net with esmtp (Exim) id 1LQxMo-0002BR-Jd for caml-list@yquem.inria.fr; Sun, 25 Jan 2009 05:17:06 +0000 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: "O'Caml Mailing List" Subject: JIT compilation of OCaml's bytecode Date: Sun, 25 Jan 2009 05:21:16 +0000 User-Agent: KMail/1.9.9 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200901250521.16361.jon@ffconsultancy.com> X-Plusnet-Relay: 27bde5f84319acfcf0d574af7947767a X-Spam: no; 0.00; compilation:01 ocaml's:01 bytecode:01 afaik:01 ocaml's:01 bytecode:01 compilation:01 frog:98 functions:01 types:05 infer:07 ltd:87 create:12 www:84 would:18 AFAIK, OCaml's bytecode is typeless. How hard would it be to infer types from the bytecode in order to create type-specific functions during JIT compilation? -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e