[plt-scheme] Compiler optimizes Typed Scheme?!?

>> Right.  Typed or untyped is a module-level decision.
> 
> Contrary to popular rumors it isn't clear yet what mixing typed and  
> untyped code without boundaries means. (This is becoming known as  
> "gradual typing" though I'm conjecturing that "complete confusion"  
> would be much better. "-)

Perhaps. At any rate, it won't work at all without clear space 
guarantees from the language. See my upcoming Trends in Functional 
Programming 2007 paper with Aaron Tomb and Cormac Flanagan:

     http://www.ccs.neu.edu/home/dherman

Dave