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 <matth...@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 > _________________________ Racket Developers list: http://lists.racket-lang.org/dev
