Proposal: Applicative => Monad: Call for consensus

[Maciej Piechotka]

On Wed, 2011-01-05 at 10:03 -0800, Iavor Diatchki wrote:
> 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

I think that's the least of the problems. The method may not even be
exported by Prelude just like (<$), which can be defined in terms of
fmap.

Regards
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 836 bytes
Desc: This is a digitally signed message part
URL: <http://www.haskell.org/pipermail/libraries/attachments/20110105/fa639ab9/attachment.pgp>