inside the compiler

Apr 29, 2009 at 11:07 PM
Edited Apr 29, 2009 at 11:12 PM
Hello Leppie

First, thank you for this nice work !
:)

Now my question:
Does the compiler use an intermediate language ?
(As MLton does, see
http://mlton.org/IntermediateLanguage).

I am interested in intermediate languages (especially in XML, currently).
MLton uses several of those languages in order to separate clearly the different steps of compilation. That is very interesting and help to understand the way it optimizes the code.
I am not a specialist in compiler building. What do you think about this kind of modularity ?

Kind regards
Coordinator
Apr 30, 2009 at 5:00 AM
Hi

IronScheme uses a subset of Scheme for an 'intermediate language'. 

Currently, there is nothing special about the compiler.

In version 2, I will rewrite the compiler. I am leaning towards an intermediate language which would still be a subset of Scheme, but will be completely typed, and tuned for the CLR.

For an interesting paper, see http://www.cs.indiana.edu/~dyb/pubs/nano-jfp.pdf.  Also the GCC internal docs might be of some interest to you.

Cheers

leppie