表达式`snd (True, [2,[5]])`的类型错误排查与解决

错误原因 #

Haskell是强类型语言，列表的所有元素必须是同一类型。你写的[2, [5]]里，2属于数值类型（比如Int），[5]是列表类型（比如[Int]），两者类型不兼容。

编译器尝试推导一个通用类型a来统一元素类型，于是要求a满足Num a（适配2），同时要求[a]也满足Num [a]（把[5]强行当成Num类型的实例）。但标准Haskell中，列表并没有实现Num类型类，因此抛出错误。

解决方法 #

根据你的实际需求选择以下方案：

方案1：用代数数据类型包装不同类型元素 #

如果你确实需要在列表中同时存放数值和子列表，定义一个代数数据类型来统一包装：

data MyValue a = NumItem a | ListItem [MyValue a] deriving Show

然后构造合法的元组：

snd (True, [NumItem 2, ListItem [NumItem 5]])

此时snd返回的结果类型是[MyValue Int]，可以正常运行。

方案2：修正列表为同类型元素 #

如果是输入失误，原本想构造的是嵌套列表（两个子列表），直接修正表达式：

snd (True, [[2], [5]])

此时列表元素都是[Int]类型，snd会返回[[Int]]，无类型错误。

补充说明 #

snd函数本身确实支持任意二元组类型（不管两个元素的类型是什么），问题出在你构造的元组第二个元素[2,[5]]本身类型不合法，而非snd的限制。

内容的提问来源于stack exchange，提问作者F. Zer