haskell - 具有身份单子(monad)的单子(monad)转换器

Question

使用带有 Identity monad 的 Monad 转换器而不是仅仅使用“标准”版本的转换器有什么意义？

是不是更灵活？

Answer 1

返回 mtl 1.0 我们两者都有

newtype State s a = State { runState :: s -> (a, s) }

和

newtype StateT s m a = StateT { runStateT :: s -> m (a, s) }

然而，这意味着任何人都必须为 MonadState 之类的东西实现实例。结束了重复的努力。

在 transformers (以及现已失效的 monads-fd 和 monads-tf )Ross Paterson 决定使用更简单的方法，只提供后者并使用 Identity作为基础单子(monad)。

这减少了维护 mtl 的实现工作。并消除了实现 State 有两种不同方法的事实。单子(monad)。然而，它确实制作了 mtl 的内部结构。更难教，因为你需要了解 transformers刚出门的版本，不要将简化版本作为训练轮。

当老 mtl已退休， monads-fd变成了 mtl 2.0，使用现有的 transformers这一设计决定得以延续。

我个人喜欢至少将单独的简单单子(monad)用于教学目的，但在辩论的另一边有更多的人。