Haskell编程分配，“无法将期望的类型'Int'与实际类型'[a0]-> Int'匹配”以及其他一些错误

Question

我有以下分配：具有一个值和一个列表的函数numOccurences，返回该值出现在列表中的次数。 我正在学习haskell并感到沮丧，这是我的代码：

numOccurences:: b -> [a] -> Int
numOccurences n [ls]
  |([ls] !! n==True) =  (numOccurences(n (tail [ls])))+1
  |otherwise = 0

我收到的错误如下： https : //imgur.com/a/0lTBn

Answer 1

一些提示：

首先，在类型签名中，使用不同的类型变量（即b和a ）可能会导致您在另一种类型的列表中查找某一种类型的值的出现，在这种情况下，这不是您想要的。 因此，您只想使用一个而不是两个类型变量。

其次，无论列表的具体类型是什么，无论是[Char] ， [Int]等，它都必须是相等的（即，需要派生Eq类型类），因此使用类约束是有意义的(Eq a) =>在您的类型签名中。

第三，由于我们遍历一个列表，因此我们使用模式匹配来安全地断开该列表的第一个元素以进行比较，并且我们还添加了一个基本案例（即我们对空列表的处理），因为我们正在使用递归，并且只要列表中有元素，我们就只希望递归模式匹配。

最后，请尝试避免使用索引编制（即!! ），在这种情况下可以避免索引编制，而应使用模式匹配，因为这样做更安全，更容易推理。

根据上述指针，这是修改后的函数的外观：

numOccurences :: (Eq a) => a -> [a] -> Int
numOccurences _ [] = 0
numOccurences n (x:xs)
  | n == x    = 1 + numOccurences n xs
  | otherwise = numOccurences n xs