14 May
2008
14 May
'08
6:06 p.m.
David Menendez wrote:
To summarize: some applicative functors are commutative, some applicative functors are monads, and the ones that are both are commutative monads.
OK, so commutativity is orthogonal to "idiom vs monad". Commutativity depends on whether or not the order of side effects is important. Being a monad or just an idiom depends on whether or not "join" is supported. Examples can be constructed for all 4 possibilities of {idiom, monad} (x) {non-commutative, commutative}. Thank you all for clearing this up for me.