[Haskell-cafe] ANN: The Herbie GHC Plugin
cma at bitemyapp.com
Tue Sep 22 15:48:49 UTC 2015
Oh, I'm thinking of stuff like:
Where the idea is the tool would refactor and rewrite your code, putting it
back where it was. Kinda like go fmt, but you can do anything you want.
https://github.com/mpickering/apply-refact also comes to mind.
I guess I'm thinking of this because I think it could be useful for
programmers to preserve the fixed versions in their source code, maybe with
before & after comments, for educational purposes.
On Tue, Sep 22, 2015 at 10:46 AM, Mike Izbicki <mike at izbicki.me> wrote:
> 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>
> > 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
Currently working on http://haskellbook.com
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe