Haskell中Monad与Functor定律困惑：自函子幺半群与实现矛盾

先澄清你的代码示例问题 #

首先你贴的代码里存在两个关键误解：

1. 第一个表达式[1,2,3] >>= \a -> [a]的结果是[1,2,3]，不是注释里的[2,4,6]——这个lambda只是把每个元素包成单元素列表，>>=对列表来说等价于concatMap，所以最终结果就是原列表。
2. 当你改成[1,2,3] >>= id时报错，根本原因是类型不匹配，不是Functor定律不满足。>>=的类型是m a -> (a -> m b) -> m b，对于列表[1,2,3]（类型[Int]），右边的函数需要是Int -> [b]，但id的类型是x -> x，这里元素类型是Int而非[Int]，完全无法匹配。你可能想测试的是fmap id [1,2,3]（结果为原列表，符合Functor恒等定律），或是[1,2,3] >>= return（结果也为原列表，符合Monad右单位元定律）。

Monad是自函子范畴中的幺半群：Haskell里的对应 #

范畴论的表述可以拆解为Haskell里的具体对应：

• 自函子：对应Haskell里的类型构造器（比如[]、Maybe），它把一个类型a映射到m a，同时把函数f: a->b映射到fmap f: m a -> m b，这就是Functor的核心。
• 幺半群：指这个自函子上有两个满足特定定律的操作：
  1. 单位元：对应return :: a -> m a，范畴论里是从恒等自函子到m的自然变换。
  2. 二元运算：对应join :: m (m a) -> m a（或等价的>>=，因为x >>= f = join (fmap f x)），范畴论里是自函子复合后的自然变换。

这两个操作要满足幺半群的三条定律，对应Haskell的Monad定律：

• 左单位元：return a >>= f = f a
• 右单位元：x >>= return = x
• 结合律：(x >>= f) >>= g = x >>= (\a -> f a >>= g)

为什么Monad实例必然满足Functor定律？ #

从GHC 7.10开始，Monad类型类继承自Applicative，而Applicative又继承自Functor，所以所有合法的Monad实例必须同时是Functor实例。更关键的是，fmap可以通过Monad的操作推导出来：fmap f x = x >>= return . f。

用这个定义的fmap天然满足Functor定律，因为它基于Monad定律推导：

• 恒等定律：fmap id x = x >>= return . id = x >>= return = x（套用Monad右单位律）
• 复合定律：fmap (g . f) x = x >>= return . g . f = (x >>= return . f) >>= return . g = fmap g (fmap f x)（套用Monad结合律与左单位律）

所以只要Monad实例遵守Monad定律，它的fmap不管是自定义还是用默认实现必然满足Functor定律。你觉得“实例不满足Functor定律”，大概率是混淆了>>=和fmap的作用，或是代码类型错误导致的误解。

>>=和fmap的定律是关联而非独立的 #

fmap可以通过>>=和return定义，因此Functor定律本质是Monad定律的推论。反过来，如果你手动实现了fmap和>>=，必须保证fmap f x = x >>= return . f这个等式成立——这是Haskell类型类隐含的一致性要求，虽然编译器不会强制检查，但违反的话会导致逻辑混乱。

总结：范畴论定义和Haskell实现是严格对齐的，你遇到的困惑主要来自代码里的类型错误，以及对>>=与fmap关系的误解。只要Monad实例遵守Monad定律，就自动满足Functor定律，两者的定律是关联的，而非完全独立。

内容的提问来源于stack exchange，提问作者SmoothTraderKen