haskell - 推断类型不够通用

Question

我想知道一个列表是否是第二个列表的前缀，使用以下代码：

prefix :: [a] -> [b] -> Bool
prefix [] _ = True
prefix _ [] = False
prefix (x:xs) (y:ys) = if (x==y) then prefix xs ys else False

但它返回一个错误：

Inferred type is not general enough
*** Expression    : prefix
*** Expected type : [a] -> [b] -> Bool
*** Inferred type : [a] -> [a] -> Bool

有人可以帮我解决这个问题吗？

score 10 · Accepted Answer

您的类型签名声称这两个列表可以具有不同的类型，但它们不能。因此编译器抱怨它推断出的类型不如您要求的类型一般。

score 7 · Accepted Answer

那是因为您正在比较已命名a和b使用的类型(x==y)。检查的类型==，这意味着它们是相同的类型，具有相等性测试：

Prelude> :t (==)
(==) :: Eq a => a -> a -> Bool

所以推断的类型签名实际上是Eq a => [a] -> [a] -> Bool.

2 回答 2