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.0 required=5.0 tests=none autolearn=disabled version=3.1.3 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 8789EBB84 for ; Fri, 10 Oct 2008 14:38:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmgDAADq7kjAXQImiGdsb2JhbACBcpFpAQEBFSKpXIFs X-IronPort-AV: E=Sophos;i="4.33,389,1220220000"; d="scan'208";a="18545951" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 Oct 2008 14:38:00 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9ACbsnv013186 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 10 Oct 2008 14:38:00 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoYCAIfp7khDWxLCYGdsb2JhbACBcpFfHiqpWoFs X-IronPort-AV: E=Sophos;i="4.33,389,1220220000"; d="scan'208";a="17941683" Received: from ip67-91-18-194.z18-91-67.customer.algx.net (HELO server1.bertec.net) ([67.91.18.194]) by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Oct 2008 14:37:57 +0200 Received: from kuba.bertec.net (kuba.bertec.net [192.168.2.16]) by server1.bertec.net (Postfix) with ESMTP id D2A40105761 for ; Fri, 10 Oct 2008 08:37:54 -0400 (EDT) From: Kuba Ober To: caml-list@inria.fr Subject: Re: [Caml-list] - Convert Caml to C/C++, C#, PHP, etc - Date: Fri, 10 Oct 2008 08:37:53 -0400 User-Agent: KMail/1.9.10 References: <19791755.post@talk.nabble.com> <200810091747.59342.kuba@mareimbrium.org> <20081010085741.c099a21b.mle+ocaml@mega-nerd.com> In-Reply-To: <20081010085741.c099a21b.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: <200810100837.54226.kuba@mareimbrium.org> X-Miltered: at discorde with ID 48EF4CA2.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 bytecode:01 compiler:01 bytecode:01 cheers:01 dawn:98 caml-list:01 caml:02 somewhere:06 standard:07 probably:07 written:07 written:07 i'm:09 > > Side note: is there an Ocaml bytecode-compiler written in Ocaml > > somewhere? > > I'm pretty sure the vast majority of the standard Ocaml bytecode > compiler is written in Ocaml. The same is probably not true for > the bytecode VM. Chicken-and-egg question: how was it bootstrapped, at the dawn of time? Cheers, Kuba