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=AWL 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 3C85CBB84 for ; Fri, 10 Oct 2008 15:38:47 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlUFAA/47kg+BBFpY2dsb2JhbACBcpFfIh8GqXKBbA X-IronPort-AV: E=Sophos;i="4.33,390,1220220000"; d="scan'208";a="18549184" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 Oct 2008 15:38:47 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9ADckHH016185 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 10 Oct 2008 15:38:47 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlUFAA/47kg+BBFpY2dsb2JhbACBcpFfIh8GqXKBbA X-IronPort-AV: E=Sophos;i="4.33,390,1220220000"; d="scan'208";a="18549183" Received: from smtp-105-friday.noc.nerim.net (HELO mallaury.nerim.net) ([62.4.17.105]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 Oct 2008 15:38:46 +0200 Received: from hector.lesours (ours.starynkevitch.net [213.41.244.95]) by mallaury.nerim.net (Postfix) with ESMTP id 2B98A4FDDE; Fri, 10 Oct 2008 15:38:37 +0200 (CEST) Received: from glinka.lesours ([192.168.0.1] ident=basile) by hector.lesours with esmtp (Exim 4.63) (envelope-from ) id 1KoI9a-0001oS-3b; Fri, 10 Oct 2008 15:35:38 +0200 Message-ID: <48EF5AE2.3060309@starynkevitch.net> Date: Fri, 10 Oct 2008 15:38:42 +0200 From: Basile STARYNKEVITCH User-Agent: Mozilla-Thunderbird 2.0.0.16 (X11/20080724) MIME-Version: 1.0 To: Kuba Ober Cc: caml-list@inria.fr Subject: Re: [Caml-list] - Convert Caml to C/C++, C#, PHP, etc - References: <19791755.post@talk.nabble.com> <200810091747.59342.kuba@mareimbrium.org> <20081010085741.c099a21b.mle+ocaml@mega-nerd.com> <200810100837.54226.kuba@mareimbrium.org> In-Reply-To: <200810100837.54226.kuba@mareimbrium.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 48EF5AE6.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; basile:01 basile:01 ocaml:01 ocaml:01 bytecode:01 compiler:01 bytecode:01 subset:01 faiencerie:01 92340:01 reine:01 dawn:98 wrote:01 caml-list:01 caml:02 Kuba Ober wrote: >>> 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? Some very ancient, embryonic, subset of Caml was initially coded in LeLisp. You probably won't find any source of them (neither the first Caml - which was a ancestor of CamlLight - not the LeLisp implementation, which was proprietary, running on some obscure machine, perhaps MITRA15 or whatever). -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***