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@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@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@haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>
>
>
>
> --
> Chris Allen
> Currently working on http://haskellbook.com