Proposal: Applicative => Monad: Call for consensus

[Iavor Diatchki]

Hi,

On Wed, Jan 5, 2011 at 8:04 AM, <roconnor at theorem.ca> wrote:

> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20110105/0e08f560/attachment.htm>