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 _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
