[Haskell-cafe] ANN: The Herbie GHC Plugin

Edward Kmett ekmett at gmail.com
Tue Sep 22 19:48:57 UTC 2015


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
>>>
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150922/47b50f16/attachment.html>


More information about the Haskell-Cafe mailing list