Hi,<br><br><div class="gmail_quote">On Wed, Jan 5, 2011 at 8:04 AM, <span dir="ltr"><<a href="mailto:roconnor@theorem.ca">roconnor@theorem.ca</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On Tue, 4 Jan 2011, Iavor Diatchki wrote:<br>In my completion monad, "join" is more efficent than "bind id"</div></blockquote><div><br></div><div>This suggests that your monad will work less efficiently if you use it with the do-notation.</div>
<div><br></div><div>Join and bind are very similar and, at least in standard Haskell code, I think that "bind" has proven to be a lot more useful then "join". </div><div><br></div><div>Also, as I mentioned before, if people find "join" easier to define then "bind", then they can define "join", and then define "bind" in terms of that---I am still not convinced that we need a new method added to the Monad class.</div>
<div><br></div><div>-Iavor</div></div>