English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
R: A manual...
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-01-20 (15:11)
From: Alex Baretta <alex@b...>
Subject: R: A manual...

-----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
>> 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
>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
> 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
>some low-level systems.

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

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

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