[racket-dev] math collection [was: Hyperbolic functions]

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Tue Jun 26 21:16:00 EDT 2012

On Jun 26, 2012, at 9:12 PM, Neil Toronto wrote:

> I'm addicted to optimizations. If I use Real -> Real, TR can't prove that (log1p 1.0) is Float and... hmm. I'll let Vincent explain why that's bad. :)
> Another option is to provide both log1p and fllog1p. I just wrote fllog1p anyway.

Sounds like the right solution -- and now you see how every type system forces you to duplicate code. -- Matthias

Posted on the dev mailing list.