Haskell NonEmpty列表反转：tail调用报错与模式匹配解惑

为什么revTail = tail reversed会报错 #

你碰到的类型错误，核心是代码里的tail已经不是标准库的函数了——你大概率在之前的代码中，把tail用作了变量名（比如处理NonEmpty构造时写了(x :| tail) = someNonEmpty），导致tail被绑定成了[a]类型的列表变量，而非原本[a] -> [a]的函数。

这时候写tail reversed，编译器会误以为你要把tail这个列表当作函数调用（传入reversed当参数），但tail的实际类型是[a]，根本不是函数类型[a] -> t，所以触发类型不匹配错误。

退一步说，就算没覆盖tail函数，用tail reversed也不是好选择：tail是部分函数，传入空列表会直接崩溃——虽然这里reversed来自NonEmpty肯定非空，但模式匹配的写法更符合Haskell的安全风格。

为什么模式匹配(_:revTail) = reversed可行 #

reversed是从NonEmpty a转换来的普通列表，必然非空，_:revTail这个模式能精准匹配：

• _匹配列表首元素（我们不需要这个值，用通配符忽略）
• revTail直接绑定到列表剩余的所有元素（也就是反转后的尾部）

这种写法既避免了tail的潜在风险，编译器也能明确识别reversed的非空属性，不会出现匹配失败的问题，同时也不会和任何变量名冲突。

示例：正确的reverseNonEmpty实现 #

import Data.List.NonEmpty (NonEmpty(..))

reverseNonEmpty :: NonEmpty a -> NonEmpty a
reverseNonEmpty (x :| xs) = let (y : ys) = reverse (x : xs)
                            in y :| ys

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