[Haskell-cafe] ANN: The Herbie GHC Plugin

[Christopher Allen]

Oh, I'm thinking of stuff like:
https://hackage.haskell.org/package/ghc-exactprint

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>
> 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
>



-- 
Chris Allen
Currently working on http://haskellbook.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150922/ba47db68/attachment.html>