[racket-dev] flonum vs. inexact-real

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Sun Oct 3 10:33:42 EDT 2010

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.

Posted on the dev mailing list.