At Sun, 03 Oct 2010 10:14:04 -0400, Vincent St-Amour wrote: > At Sun, 3 Oct 2010 05:43:52 -0600, > Matthew Flatt wrote: > > Sam and Vincent: Any thoughts on how easy or difficult the change would > > be for Typed Racket (and its optimizer)? > > It depends on how the 32-bit floats are integrated with the > library. If the existing library keeps using 64-bit floats as the > default, and primitives only return 32-bit floats when called only > with 32-bit floats, and the programmer has explicitly ask for 32-bit > floats (different reader syntax?), then it would be reasonably > easy. It would still be a significant amount of work, but the work > itself would not be too hard.
That's what I had imagined, but I'm preparing a more careful answer in response to Sam's message. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev