<div dir="ltr">lets not talk about this while people are buried with 7.8 release engineering, please :) <div><br></div><div>there are certainly good ideas in Henning's (amazing) work,</div><div>HOWEVER, one thing people often forget is that theres more than one valid computational formalization of a given mathematical concept (which itself can often have a multitude of equivalent definitions).</div>

<div><br></div><div>and thats even ignoring the fact that the haddocks are full of readable Qualified names like </div><div>"<span class="" style="font-size:12.727272033691406px;margin:0px;padding:0px;color:rgb(0,0,0);font-family:monospace;line-height:16.1200008392334px">class</span><span style="font-size:12.727272033691406px;color:rgb(0,0,0);font-family:monospace;line-height:16.1200008392334px;background-color:rgb(240,240,240)"> </span><a href="http://hackage.haskell.org/package/numeric-prelude-0.4.1/docs/Algebra-Algebraic.html#t:C" style="font-size:12.727272033691406px;margin:0px;padding:0px;text-decoration:none;color:rgb(171,105,84);font-family:monospace;line-height:16.1200008392334px">C</a><span style="font-size:12.727272033691406px;color:rgb(0,0,0);font-family:monospace;line-height:16.1200008392334px;background-color:rgb(240,240,240)"> a => </span><a name="t:C" class="" style="font-size:12.727272033691406px;margin:0px;padding:0px;font-weight:bold;color:rgb(0,0,0);font-family:monospace;line-height:16.1200008392334px">C</a><span style="font-size:12.727272033691406px;color:rgb(0,0,0);font-family:monospace;line-height:16.1200008392334px;background-color:rgb(240,240,240)"> a </span><span class="" style="font-size:12.727272033691406px;margin:0px;padding:0px;color:rgb(0,0,0);font-family:monospace;line-height:16.1200008392334px">where</span>" :) </div>

<div><br></div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Mar 21, 2014 at 1:08 PM, Corey O'Connor <span dir="ltr"><<a href="mailto:coreyoconnor@gmail.com" target="_blank">coreyoconnor@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_default" style="font-family:'courier new',monospace">On #3: The library numeric-prelude achieves many of these goals (Plus a bunch more). If the experiences of using numeric-prelude are positive then using this or a subset of this as the standard numeric prelude might resolve these goals easily.</div>



<div class="gmail_default" style="font-family:'courier new',monospace"><br></div><div class="gmail_default" style="font-family:'courier new',monospace"><a href="http://hackage.haskell.org/package/numeric-prelude" target="_blank">http://hackage.haskell.org/package/numeric-prelude</a><span class="HOEnZb"><font color="#888888"><br>



</font></span></div></div><div class="gmail_extra"><span class="HOEnZb"><font color="#888888"><br clear="all"><div><div dir="ltr"><font face="courier new, monospace">-Corey O'Connor<br><a href="mailto:coreyoconnor@gmail.com" target="_blank">coreyoconnor@gmail.com</a><br>

<a href="http://corebotllc.com/" target="_blank">http://corebotllc.com/</a></font></div>

</div></font></span><div><div class="h5">
<br><br><div class="gmail_quote">On Mon, Feb 24, 2014 at 5:13 AM, harry <span dir="ltr"><<a href="mailto:voldermort@hotmail.com" target="_blank">voldermort@hotmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">



Carter Charbonneau wrote<br>
<div>> 2. Move Semigroup into Prelude<br>
><br>
> 2.1 Make Monoid depend on Semigroup.<br>
<br>
</div>NonEmpty seems to be frequently reimplemented, particularly by beginners.<br>
Including Semigroup in Prelude would save all this duplication.<br>
<br>
<br>
<br>
--<br>
View this message in context: <a href="http://haskell.1045720.n5.nabble.com/Burning-more-bridges-mostly-numeric-ones-tp5744526p5744545.html" target="_blank">http://haskell.1045720.n5.nabble.com/Burning-more-bridges-mostly-numeric-ones-tp5744526p5744545.html</a><br>




Sent from the Haskell - Libraries mailing list archive at Nabble.com.<br>
<div><div>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div></div></div>
<br>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>