ICFP?

[Stephen Weeks]

> If  you  are making more tee shirts, tell me how much they cost and send me 2
> extras (one for Johann and one for Rico).  They were truly a great idea.

I guess they've asked enough questions to deserve one :-)  (plus hosting the web
site for Johann).   I'll send 'em when they're made (3-4 weeks).

> I agree with what you said for the new opus, but with  respect  to  the  flow
> analysis, I think that it is definitely worth talking about the optimizations
> that make it fast enough that you can afford to use it. 

Agreed.  I want to talk about pragmatics, and avoid formalism.  That sounds
strange coming out of my mouth, but ...

> For the raise=>jump stuff, either in the new opus or a separate paper, it  is
> worth  at least pointing out that this optimization triggers a lot more often
> in MLton than it would in other ML compilers because of inlining.  I realized
> this  when thinking about something Stephen said about using raise to get out
> of fold loops early.  Thanks to this optimization, and the  fact  that  folds
> are basically always inlined, this really is completly ok efficiency wise.

Yep.