Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

How do I find out whether a monad is commutative?

The documentation for Control.Monad.List.ListT states that it "does not yield a monad unless the argument monad is commutative."

  1. How do I find out whether a monad is commutative? Is there a CommutativeMonad typeclass? Should there be?

  2. In particular, is Control.Monad.RWS.Lazy.RWS a commutative monad?

like image 852
dave4420 Avatar asked May 22 '11 18:05

dave4420


2 Answers

In general, a monad is commutative if the expression a >>= \x -> b >>= \y -> f x y is equivalent to b >>= \y -> a >>= \x -> f x y.

In other words, it is commutative if the order of side effects is not important. We can replace the expression:

do a <- ma
   b <- mb
   f a b

with one which switches the arguments.

do b <- mb
   a <- ma
   f a b

Most Many common monads are commutative, but you can determine if a particular monad is commutative by either looking at the design and logicking it, or by writing a small program to test it with appropriate expressions (which naturally depend on the nature of the monad). As far as I know there is no CommutativeMonad typeclass.

like image 173
JeremyKun Avatar answered Nov 19 '22 21:11

JeremyKun


No, there's no CommutativeMonad class. And RWS is not commutative. For a monad to be commutative you have to be able to reorder the effects without anything changing.

like image 5
augustss Avatar answered Nov 19 '22 21:11

augustss