[prev in list] [next in list] [prev in thread] [next in thread] 

List:       racket-users
Subject:    [plt-scheme] Compiler optimizes Typed Scheme?!?
From:       dherman () ccs ! neu ! edu (Dave Herman)
Date:       2007-02-27 14:10:33
Message-ID: 45E43BD9.8060303 () ccs ! neu ! edu
[Download RAW message or body]

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


[prev in list] [next in list] [prev in thread] [next in thread]