
5 Jan
2011
5 Jan
'11
1:03 p.m.
Hi,
On Wed, Jan 5, 2011 at 8:04 AM,
On Tue, 4 Jan 2011, Iavor Diatchki wrote: In my completion monad, "join" is more efficent than "bind id"
This suggests that your monad will work less efficiently if you use it with the do-notation. 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". 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. -Iavor