Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: -- (:)
From: Alex Baretta <alex@b...>
Subject: R: A manual...

-----Messaggio originale-----
Da: David Mentre <>
A: Alex Baretta <>
Cc: <>
Data: martedì 16 gennaio 2001 14.23
Oggetto: Re: A manual...

>"Alex Baretta" <> 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

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

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