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