[racket] Exploratory programming?

At Thu, 2 Dec 2010 13:21:48 -0500,
Hendrik Boom wrote:
> On Thu, Dec 02, 2010 at 12:26:47PM -0500, Greg Hendershott wrote:
> > - Let contracts be made inactive for performance
> 
> Ideally, the language should use the information in contracts to make 
> the program more efficient.  Perhaps typed Scheme should be doing this.
> Perhaps it is.

Typed Racket does use type information for optimization. Using
contract information would be nice too, but we don't do that yet.

Vincent