[racket-dev] Sublinear functions of superfloat numbers

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Jul 2 12:13:46 EDT 2012

Yeap. I totally misunderstood until I re-read the code. 

On Jul 2, 2012, at 11:57 AM, Vincent St-Amour wrote:

> At Sun, 1 Jul 2012 20:10:30 -0400,
> Matthias Felleisen wrote:
>> I had misunderstood. I thought you had suggested 'reduction of
>> strength' (say going from square to * or double to +), which is a
>> generally useful compiler optimization. What you suggest is some form of
>> conditional version of this.
> Argument reduction extends the domain of functions to work on arguments
> that they can't handle directly (e.g. because they're too big to be
> represented as floats). It's not an optimization.
> Vincent

Posted on the dev mailing list.