haskell - 无法将预期类型 `a' 与实际类型 `[a]' 匹配

Question

我能够完美地执行以下代码

myLast :: [a] -> a
myLast [] = error "Can't call myLast on an empty list!"
myLast (x:_) = x

但我收到此错误 Couldn't match expected type `a' with actual type `[a]'. `a' is a rigid type variable bound by the type signature for myLast :: [a] -> a对于以下代码:

myLast :: [a] -> a
myLast [] = error "Can't call myLast on an empty list!"
myLast (_:x) = x

我是 Haskell 的初学者，错误信息对我来说太希腊化和拉丁化了。据我了解，编译器无法推断第二种情况的类型。有人可以指出这里实际发生的事情吗？

Answer 1

您将输入声明为 [a] 类型的列表，其余为 a 类型.

类型列表[a]在 Haskell 中，由 a 类型的头部组成和一个尾部，一个 [a] 类型的列表.缺点构造函数:以头部和尾部作为参数。

当您将列表解构为 (x:y) , x是头和y是尾部。所以在你的第二个代码片段中，你绑定(bind)了列表的尾部，它的列表类型为 [a] ，当您的类型签名要求您返回类型为 a 的值时(头部就是一个例子)。