haskell - 如何判断一个 monad 是否可交换？

Question

Control.Monad.List.ListT 的文档指出它“不会产生 monad，除非参数 monad 是可交换的。”

1. 如何确定 monad 是否可交换？是否有 CommutativeMonad 类型类？应该有吗？

2. 特别是Control.Monad.RWS.Lazy.RWS可交换单子(monad)？

Answer 1

一般来说，如果表达式 a >>=\x -> b >>=\y -> f x y 等价于 b >>=\y -，则 monad 是可交换的> a >>=\x -> f x y。

换句话说，如果副作用的顺序不重要，则它是可交换的。我们可以替换表达式:

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

其中一个可以切换参数。

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

Most 许多常见的 monad 都是可交换的，但是您可以通过查看设计并对其进行逻辑处理，或者编写一个小程序来使用适当的表达式对其进行测试来确定特定的 monad 是否可交换(这自然取决于单子(monad)的性质)。据我所知，没有 CommutativeMonad 类型类。