[racket] Exploratory programming?

From: Vincent St-Amour (stamourv at ccs.neu.edu)
Date: Thu Dec 2 13:52:36 EST 2010

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.


Posted on the users mailing list.