Haskell自定义List类型Monad实例模式匹配编译错误修复

你遇到的问题核心是混淆了类型构造器和数据构造器的用法——List是你定义的类型的名字（类型构造器），但模式匹配只能用数据构造器，也就是你定义的Cons和Empty。

错误原因拆解 #

原代码里的Cons x (List _)是完全错误的写法：List不是用来构造或匹配值的构造器，你没法用它来匹配Cons的第二个参数。这里你应该用一个变量名（比如xs）来指代剩下的列表，或者直接匹配Empty。

另外，原代码的>>=实现也不符合Monad的语义——你只处理了第一个元素，没有递归处理剩下的列表，这样的bind行为是不对的（对于列表来说，bind应该等价于concatMap，把函数应用到每个元素后拼接结果）。

修复后的完整代码 #

data List a = Cons a (List a) | Empty

-- 先定义Functor（新版本GHC要求Monad依赖Applicative，Applicative依赖Functor）
instance Functor List where
  fmap _ Empty = Empty
  fmap f (Cons x xs) = Cons (f x) (fmap f xs)

-- 再定义Applicative
instance Applicative List where
  pure x = Cons x Empty
  Empty <*> _ = Empty
  (Cons f fs) <*> xs = append (fmap f xs) (fs <*> xs)
    where
      append Empty ys = ys
      append (Cons y ys) zs = Cons y (append ys zs)

-- 最后是正确的Monad实例
instance Monad List where
  Empty >>= _ = Empty
  Cons x xs >>= f = append (f x) (xs >>= f)
    where
      -- 自定义append函数来拼接两个List
      append Empty ys = ys
      append (Cons y ys) zs = Cons y (append ys zs)

关键修复点 #

1. 模式匹配修正：把错误的Cons x (List _)改成Cons x xs，用xs指代当前元素之后的剩余列表，这样才能递归处理所有元素。
2. 实现正确的bind语义：通过append函数把f x的结果（一个List）和xs >>= f的结果（剩余元素处理后的List）拼接起来，符合列表Monad"平铺结果"的行为。
3. 补全必要的实例：新版本GHC要求Monad实例必须先有Applicative和Functor实例，所以我们补充了这两个实例的实现，保证代码能正常编译。

如果你只是想快速修复编译错误（不考虑语义正确性），至少要把模式匹配改成Cons x xs，但这样的Monad实现是不符合预期的，所以还是建议按照上面的完整代码来写。

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