<br><br><div class="gmail_quote">On Wed, Aug 12, 2009 at 6:34 AM, Derek Elkins <span dir="ltr"><<a href="mailto:derek.a.elkins@gmail.com">derek.a.elkins@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>Again, it is purity, not laziness, that allows compositional<br>
reasoning. Effects destroy compositional reasoning in a strict<br>
language just as much.</blockquote><div><br>Totality also matters, but for some reason we take that for granted :)<br><br>Jason<br></div></div>