Mon, 10 Sep 2001 13:24:16 -0700
> 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.