haskell - 为什么 join 是独立的，而不是 Monad 类型类最小实现的一部分？

Question

我更喜欢通过 join 函数定义 Monad 实例，而不是 >>= ...从该等价开始:

x >>= f = join (fmap f x)

你能只用 join 定义一个 Monad 实例吗？

我希望加入 Monad 时使用: {-# MINIMAL (>>=)|加入#-}

为什么 join 位于顶层，甚至不在 Monad 类型类中？

Answer 1

遗憾的是，由于与广义新类型派生和角色系统相关的技术限制，join 并不是 GHC 标准库中 Monad 类型类的一部分。长话短说，给定一些新类型 newtype T m a = MkT (m a)，GHC 不够聪明，无法弄清楚如何证明 m (m a) 和 m (T m a)，这是证明 join 第一个参数的表示相等性所必需的(其类型为 m (m a) -> m a )。

幸运的是，GHC Haskell 最近的一个扩展，QuantifiedConstraints，可能使角色系统足够智能来支持这一点。有关问题及其潜在解决方案的更详细处理，请参阅 Ryan Scott 的博客文章 How QuantifiedConstraints can let us put join back in Monad .