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

Let me switch to filing these as issues rather than spamming your announcement thread. =) On Tue, Sep 22, 2015 at 4:27 PM, Edward Kmett wrote:

Alternately: One thing I can do with HLint is hint with module annotations to ignore certain things. Maybe just a HLint-like hint to tell the HerbiePlugin to ignore a function would suffice?

-Edward

On Tue, Sep 22, 2015 at 4:26 PM, Edward Kmett wrote:

...

Another minor complications arises from applying these optimizations to the original source code. When I do so, they often involve the original expression as a sub-expression, which it then suggests the original optimization for, despite the ranges where it is inapplicable not being available at that call site.

I don't see a good way to handle that except to find a way to tell herbie the actual range the sub-expression can be applied to through some kind of source annotation.

-Edward

On Tue, Sep 22, 2015 at 4:24 PM, Mike Izbicki wrote:

...

Thanks :)

That's a good suggestion about not calling expressions improved when they're not. I've just pushed a new patch to the repo that fixes this issue.

...

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

...

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 wrote:

...

Does GHC HQ consider the possibility of embedding/shipping plugins

...

...

...

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

On Tue, Sep 22, 2015 at 12:48 PM, Edward Kmett wrote: the like 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