From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p41AUq6H027119 for ; Sun, 1 May 2011 12:30:52 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiIEAII1vU0+BBFke2dsb2JhbACmLgEBFiYDIohxuUuGAASdHQ X-IronPort-AV: E=Sophos;i="4.64,297,1301868000"; d="scan'208";a="107169283" Received: from smtp-100-sunday.noc.nerim.net (HELO mallaury.nerim.net) ([62.4.17.100]) by mail1-smtp-roc.national.inria.fr with ESMTP; 01 May 2011 12:30:47 +0200 Received: from hector.lesours (ours.starynkevitch.net [213.41.244.95]) by mallaury.nerim.net (Postfix) with ESMTPS id B2A8415341E; Sun, 1 May 2011 12:30:46 +0200 (CEST) Received: from glinka.lesours ([192.168.0.1]) by hector.lesours with smtp (Exim 4.75) (envelope-from ) id 1QGTvJ-000442-Ax; Sun, 01 May 2011 12:30:45 +0200 Date: Sun, 1 May 2011 12:30:45 +0200 From: Basile Starynkevitch To: redfire Cc: caml-list@inria.fr Message-Id: <20110501123045.bfd38cf6.basile@starynkevitch.net> In-Reply-To: <1304244654.4147.34.camel@localhost.localdomain> References: <1304244654.4147.34.camel@localhost.localdomain> X-Mailer: Sylpheed 3.1.0 (GTK+ 2.24.4; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p41AUq6H027119 Subject: Re: [Caml-list] Byte code generation for the Ocaml virtual machine (ZAM) On Sun, 01 May 2011 12:10:54 +0200 redfire wrote: > Hello all, > > I'm currently doing a student project where I have to generate bytecode > for the caml virtual machine. I convert a subset of the Scheme language. > My main issue concerns the dynamic typing mechanism. My idea is to store > every values I manipulate like this (type, value). Salut Jérémie, je suis très heureux de te lire. Par contre, je n'ai pas compris ton message (alors que je connais bien Ocaml et bien son bytecode). C'est quoi ton but exact? Coder un Scheme en Ocaml? Amicalement -- 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 mine, sont seulement les miennes} ***