[Haskell-cafe] ANN: The Herbie GHC Plugin

Mike Izbicki mike at izbicki.me
Tue Sep 22 20:24:02 UTC 2015


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.

On Tue, Sep 22, 2015 at 12:48 PM, Edward Kmett <ekmett at gmail.com> wrote:
> 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 <ekmett at gmail.com> 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 at covenanteyes.com> wrote:
>>>
>>> Does GHC HQ consider the possibility of embedding/shipping plugins like
>>> this with normal releases?
>>>
>>> ________________________________
>>> From: Haskell-Cafe <haskell-cafe-bounces at haskell.org> on behalf of Edward
>>> Kmett <ekmett at gmail.com>
>>> Sent: Tuesday, September 22, 2015 1:39 PM
>>> To: mike at 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 <mike at izbicki.me> 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 at haskell.org
>>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>>>
>>>
>>
>


More information about the Haskell-Cafe mailing list