<div dir="ltr">On Tue, Oct 16, 2012 at 1:19 PM, AUGER Cédric <span dir="ltr">&lt;<a href="mailto:sedrikov@gmail.com" target="_blank">sedrikov@gmail.com</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
What do you mean by demonstrate? If you do not want to fit the<br>
mathematical presentation, then I have nothing to demonstrate, you have<br>
your point of view, I have mine and they differ. Now, if you want to<br>
</blockquote><div><br></div><div>I think the point is that Monad is not part of Haskell to satisfy mathematical (or categorical) purity, but to solve a particular set of problems.  Those problems are best addressed with bind, and join works rather less well for them.  Since one of those problems involves interfacing with the world outside of the program, an inefficient but categorically/mathematically more &quot;pure&quot; solution may not be a viable option in practice.</div>
<div><br></div><div>Alternative Preludes which focus on other purposes are a dime a dozen; if you want a categorically pure Monad, nothing stops you from writing one and using it.</div><div><br></div></div>-- <br><div dir="ltr">
<div>brandon s allbery kf8nh                               sine nomine associates</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>                                  <a href="mailto:ballbery@sinenomine.net" target="_blank">ballbery@sinenomine.net</a></div>
<div>unix/linux, openafs, kerberos, infrastructure          <a href="http://sinenomine.net" target="_blank">http://sinenomine.net</a></div></div><br>
</div>