From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA20117 for caml-red; Sat, 20 Jan 2001 16:11:18 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA07911 for <caml-list@pauillac.inria.fr>; Tue, 16 Jan 2001 20:47:01 +0100 (MET)
Received: from aps1.apsystems.it ([194.243.250.70])
	by concorde.inria.fr (8.11.1/8.10.0) with SMTP id f0GJl0f05657
	for <caml-list@inria.fr>; Tue, 16 Jan 2001 20:47:00 +0100 (MET)
Message-ID: <284FFAE1396DC6D4215@aps1.apsystems.it>
Received: From s057.dhcp212-109.cybercable.fr [212.198.109.57] by aps1.apsystems.it [194.243.250.70]
          with "SMTP for NT" [(C) 1998 Nosque Workshop/Dick Lin/Taiwan] BD0198
          id284FFAE1396DC6D4215; Tue Jan 16 21:30:09 2001 +0000
From: "Alex Baretta" <alex@baretta.com>
To: "David Mentre" <David.Mentre@inria.fr>
Cc: <caml-list@inria.fr>
Subject: R: A manual...
Date: Tue, 16 Jan 2001 20:43:37 +0100
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 4.72.3110.5
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3
Sender: weis@pauillac.inria.fr


-----Messaggio originale-----
Da: David Mentre <David.Mentre@inria.fr>
A: Alex Baretta <alex@baretta.com>
Cc: caml-list@inria.fr <caml-list@inria.fr>
Data: marted́ 16 gennaio 2001 14.23
Oggetto: Re: A manual...


>"Alex Baretta" <alex@baretta.com> writes:
>
>> lambda-calculi and logic languages. These languages are not
mentioned
>> in the c Can anyone point me to some online resource on the use of
>> Ocaml to build interpreters / compilers for such languages?
>
>Regarding Caml (that I think falls in your category of lambda-calculi
>language), you'll find a research report describing the
implementation
>of Caml in Caml (be aware, it is quite hard to read) :


It most certainly does. A Caml interpreter should not be hard to code
in Ocaml (or Caml itself, of course). A compiler is probably a lot
trickier. But I'd stick to pretty straightforward theoretical-model
work for now. I still have a quite a little I have to study ;-)

>Xavier Leroy. The zinc experiment: an economical implementation of
the
> ML language. Technical report 117, INRIA, 1990.A
> http://pauillac.inria.fr/~xleroy/publi/ZINC.ps.gz


I'll take a look at it. Thanks.

>Otherwise, look at papers of team Contraintes, Cristal, Moscova (and
>others I've not in memory right now) at INRIA. They use OCaml for
>various languages, type-system and compilers.


I'll definitely look into logic languages. I have one in mind which I
would like to implement, if only for an exercise.

>> One more curiosity: what language is Ocaml written in?
>
>In Ocaml, except for the Garbage Collector and the bytecode runtime
>environment, both written in C. The OCaml Language is unable to
express
>some low-level systems.


Cool! I imagined they would do it in Ocaml itself. Sounds like magic,
though.

>But you could have found it by yourself looking at online source
code:
>  http://camlcvs.inria.fr/cgi-bin/cvsweb.out/ocaml/


I did not notice the sources were online. Thanks for mentioning the
address.


Alex