<div class="gmail_quote">On Thu, Jun 18, 2009 at 9:14 AM, Gleb Alexeyev <span dir="ltr">&lt;<a href="mailto:gleb.alexeev@gmail.com">gleb.alexeev@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">
<div class="im">Thomas Davie wrote:<br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">No, I think it&#39;s extremely useful.  It highlights that numbers can both be lazy and strict, and that the so called &quot;useless&quot; lazy sum, is in fact, useful.<br>
<br></blockquote></div>But lazy sum should have beed defined in terms of foldr, not foldl. And foldl is not strict enough for strict sum. Therefore the current choice in the worst of both worlds. 
<div>
<div></div>
<div class="h5"></div></div></blockquote>
<div> </div>
<div> </div>
<div>I definitely agree with that sentiment.</div>
<div> </div>
<div>-Edward Kmett</div></div>