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
Good book about ML compilation ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-08-21 (15:09)
From: rixed@h...
Subject: Re: [Caml-list] Good book about ML compilation ?
> I much preferred another of Appel's books as an introduction to writing a 
> compiler:
> http://www.amazon.com/Compiling-Continuations-Andrew-W-Appel/dp/052103311X/ref=pd_sim_b_3_img

Looks interresting also.

Thank you both for your advices.

> However, you could probably learn far more efficiently from another resource. 
> In particular, you can easily thrash today's ML compilers by using some of 
> the excellent tools and libraries like LLVM and more modern techniques like 
> monomorphization during JIT compilation. You might also want tuples as 
> structs to relieve the stress on the GC. These are some of the techniques I 
> am using for HLVM and the results speak for themselves (and I am describing 
> them in detail in OCaml Journal articles).

This is also very interresting, and I already tried to install HLVM
once. But my free time, as well as the lack of freely available documentation
on this interresting project, force me to wait longer before jumping in.

> If you want to learn how ML is (or should be) compiled then I think your best 
> bet is probably to ask here. I also recommend reading the source code to the 
> OCaml and F# compilers. Are you also interested in GCs?

I think OCaml's GC is well documented compared to the other parts of the system
(but probably this is because I ignore what everyone involved in writing a
compiler already know).