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

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