<div class="gmail_quote">On Sat, Jul 11, 2009 at 9:35 AM, Jeff Wheeler <span dir="ltr"><<a href="mailto:jeff@nokrev.com">jeff@nokrev.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;">
<div class="im">On Fri, Jul 10, 2009 at 10:10 PM, Don Stewart<<a href="mailto:dons@galois.com">dons@galois.com</a>> wrote:<br>
<br>
>> ## Control.Monad.void m a -> m ()<br>
>> Don Stewart<br>
>> Iavor Diatchki<br>
<br>
</div>For whatever it's worth, I prefer void as well, for the exact reason<br>
Don said. Indeed, 'ignore' indicates to me that the argument won't<br>
even be evaluated: it'll be ignored, and skipped. But it is, and only<br>
part --- the result --- is ignored.<br></blockquote><div><br>I also think void is clearer than ignore.<br><br>-- Johan <br></div></div>