[racket] Exploratory programming?

On Thu, Dec 02, 2010 at 01:52:36PM -0500, Vincent St-Amour wrote:
> 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.

Great!

-- hendrik