[racket] Number-crunching...

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Wed Nov 13 16:10:38 EST 2013

At Tue, 12 Nov 2013 23:10:53 -0500, Sam Tobin-Hochstadt wrote:
> On Tue, Nov 12, 2013 at 10:17 PM, Matthew Flatt <mflatt at cs.utah.edu> wrote:
> >
> > For fun, I tried adding `unsafe-flrandom` to use in place of
> > `random-real`, in which case the JIT can leave the flonum result
> > unboxed. That saves another 40% or so, but only if I manually inline
> > `unsafe-flrandom` in place of `random-real`; if I pass it in (the
> > optimizer thinks `compiled-mcmc` is too big to specialize), then it
> > saves only 20% or so by streamlining the call path.
> 
> This is the sort of case where Typed Racket in concert with
> Optimization Coach is likely to be particularly helpful (would
> `begin-encourage-inline` have worked?) so I hope you do add it.

Ok, added.


Posted on the users mailing list.