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

From: Dave Herman (dherman at ccs.neu.edu)
Date: Tue Feb 27 09:10:33 EST 2007

>> 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:



Posted on the users mailing list.