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

Because the point of types is to have something proven. 


On Jun 26, 2012, at 9:29 PM, Robby Findler wrote:

> This sounds like a terrible solution.
> 
> There are lots of places in our system where we just declare facts and
> don't prove them and then use them for lots of things (often
> optimizations). Why should this one be special?
> 
> Robby
> 
> On Tue, Jun 26, 2012 at 8:16 PM, Matthias Felleisen
> <matthias at ccs.neu.edu> wrote:
>> 
>> 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
>>