Re: [Haskell-cafe] ANN: The Herbie GHC Plugin

Okay. Having gone through and chewed on a bunch of the optimizations it has found, I have to say I officially absolutely adore this plugin! It would be nice if it didn't report 'improved' expressions that are the same as the original, but everything else about it is amazing. -Edward On Tue, Sep 22, 2015 at 3:08 PM, Edward Kmett wrote:

In this case the primary concern would be that Herbie really needs to have an install of racket as well to do its job right. Between that and a database, there are a lot of things that aren't usually involved in a normal GHC install.

-Edward

On Tue, Sep 22, 2015 at 2:08 PM, Elliot Cameron < elliot.cameron@covenanteyes.com> wrote:

...

Does GHC HQ consider the possibility of embedding/shipping plugins like this with normal releases? ------------------------------ *From:* Haskell-Cafe on behalf of Edward Kmett *Sent:* Tuesday, September 22, 2015 1:39 PM *To:* mike@izbicki.me *Cc:* Haskell Cafe *Subject:* Re: [Haskell-cafe] ANN: The Herbie GHC Plugin

Very nice!

Now I just need to figure out how to extract the results of these analyses and see if I can understand and apply them manually to what libraries of mine are affected, so that folks who won't or can't run this plugin can derive the benefits.

-Edward

On Tue, Sep 22, 2015 at 11:17 AM, Mike Izbicki wrote:

...

80% of packages in stackage that contain floating point expressions have numerically unstable expressions. The Herbie GHC plugin automatically makes these expressions numerically stable.

You can find the project on github at: https://github.com/mikeizbicki/HerbiePlugin _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe