<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none"><!-- p { margin-top: 0px; margin-bottom: 0px; }--></style>
</head>
<body dir="ltr" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<p>Does GHC HQ consider the possibility of embedding/shipping plugins like this with normal releases?<br>
</p>
<div style="color: rgb(33, 33, 33);">
<hr tabindex="-1" style="display:inline-block; width:98%">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" color="#000000" style="font-size:11pt"><b>From:</b> Haskell-Cafe <haskell-cafe-bounces@haskell.org> on behalf of Edward Kmett <ekmett@gmail.com><br>
<b>Sent:</b> Tuesday, September 22, 2015 1:39 PM<br>
<b>To:</b> mike@izbicki.me<br>
<b>Cc:</b> Haskell Cafe<br>
<b>Subject:</b> Re: [Haskell-cafe] ANN: The Herbie GHC Plugin</font>
<div> </div>
</div>
<div>
<div dir="ltr">Very nice!
<div><br>
</div>
<div>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.</div>
<div><br>
</div>
<div>-Edward</div>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On Tue, Sep 22, 2015 at 11:17 AM, Mike Izbicki <span dir="ltr">
<<a href="mailto:mike@izbicki.me" target="_blank">mike@izbicki.me</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex; border-left:1px #ccc solid; padding-left:1ex">
80% of packages in stackage that contain floating point expressions<br>
have numerically unstable expressions. The Herbie GHC plugin<br>
automatically makes these expressions numerically stable.<br>
<br>
You can find the project on github at:<br>
<a href="https://github.com/mikeizbicki/HerbiePlugin" rel="noreferrer" target="_blank">https://github.com/mikeizbicki/HerbiePlugin</a><br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
</blockquote>
</div>
<br>
</div>
</div>
</div>
</body>
</html>