Haskell自定义reverse函数：为何:运算符报错而++可正常编译？

核心问题：运算符类型不匹配 #

你遇到的编译错误本质是:（Cons运算符）和++（列表拼接运算符）的类型签名完全不同，错误代码违反了:的类型约束。

两个运算符的类型解析 #

• :运算符：类型为a -> [a] -> [a]。规则是第一个参数必须是单个元素，第二个参数是同类型的列表，作用是把该元素加到列表头部，返回新列表。比如1 : [2,3]会得到[1,2,3]。
• ++运算符：类型为[a] -> [a] -> [a]。规则是两个参数都必须是同类型的列表，作用是把第二个列表拼接到第一个列表的末尾，返回新列表。比如[1,2] ++ [3]会得到[1,2,3]。

错误代码的问题分析 #

看错误代码的关键行：

reverse' (x:xs) = reverse' xs : [x]

• reverse' xs的返回值是[a]类型（符合函数签名[a] -> [a]）
• [x]是[a]类型
• 但:要求第一个参数是单个元素a，你却传入了一个列表[a]，类型完全不匹配，因此编译器抛出类型错误。

正确代码为什么能正常工作 #

再看正确代码的关键行：

reverse' (x:xs) = reverse' xs ++ [x]

• reverse' xs是[a]类型，[x]也是[a]类型，完全符合++的类型要求——两个同类型列表拼接。这行代码的逻辑是：先反转xs列表，再把包含x的单元素列表拼接到反转结果的末尾，正好实现了整体反转的效果。

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