Proposal: Applicative => Monad: Call for consensus
ekmett at gmail.com
Fri Jan 7 09:02:04 CET 2011
On Tue, Jan 4, 2011 at 10:51 AM, Tyson Whitehead <twhitehead at gmail.com>wrote:
> It seems to me that while join is more of a value transformer as apposed to
> flow combining operator, which makes it fit in better with the rest
Join can't be defined in terms of Applicative combinators alone. Being an
Applicative with join is enough to be a Monad.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries