[Haskell-cafe] ANN: The Herbie GHC Plugin

Mike Izbicki mike at izbicki.me
Tue Sep 22 15:46:29 UTC 2015

I'm not familiar with Alan Zimmerman's work.  AFAIK, the only way to
get GHC to modify Haskell code without any annotations is via the
plugin mechanism, which manipulates core.  It would have been possible
to do a template haskell quasiquoter, but that would require the
programmer to have to manually annotate their math expressions.  But I
didn't want the programmer to have to do anything at all.

On Tue, Sep 22, 2015 at 8:41 AM, Christopher Allen <cma at bitemyapp.com> wrote:
> This is *so cool*. One question - why did you go with something that
> modifies the Core instead of rewriting the original source a la Alan
> Zimmerman's work? Is it because the stable forms are sometimes gnarly
> looking?
> Thanks for making and sharing this!
> On Tue, Sep 22, 2015 at 10: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
> --
> Chris Allen
> Currently working on http://haskellbook.com

More information about the Haskell-Cafe mailing list