[MLton-devel] icfp

[Stephen Weeks]

> On Monday 24 February 2003 10:34 pm, Stephen Weeks wrote:
> > > These languages use types in their ILs to ensure the correctness of
> > > the compiler,
> >
> > This is too strong.
> 
> Perhaps "use types" should be rephrased to "are motivated to use types"

It's the "ensure the correctness" that I object to.  I would weaken it
to "help find bugs".

> I now see the paper as having the following parts:
> 
> 1. overview and rationale for simply-typed ILs and the need for 
> whole-program compilation.
> 2. description of the profiler
> 3. profiling a self-compile to quantify the costs of type manipulation

OK.  Makes sense.

Warning: I will have little time over the next month.  I am finishing
up the profiling project for Alain, and will soon be starting on the
Sparc cross-compiler.


-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel