我能够完美地执行以下代码
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 的初学者,错误信息对我来说太希腊化和拉丁化了。据我了解,编译器无法推断第二种情况的类型。有人可以指出这里实际发生的事情吗?
最佳答案
您将输入声明为 [a]
类型的列表,其余为 a
类型.
类型列表[a]
在 Haskell 中,由 a
类型的头部组成和一个尾部,一个 [a]
类型的列表.缺点构造函数:
以头部和尾部作为参数。
当您将列表解构为 (x:y)
, x
是头和y
是尾部。所以在你的第二个代码片段中,你绑定(bind)了列表的尾部,它的列表类型为 [a]
,当您的类型签名要求您返回类型为 a
的值时(头部就是一个例子)。
关于haskell - 无法将预期类型 `a' 与实际类型 `[a]' 匹配,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/16888668/