R: A manual...

["Alex Baretta" <alex@baretta.com>]

-----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