Haskell isMember 函数错误

Question

isMember:: a -> [a] -> Bool
isMember y [] = False
isMember y (x:xs) =
 if y == x then
  True
 else
  isMember y xs

尝试创建一个函数来识别某物是否是列表的成员。例如：

isMember 6 [1,2,3,4,5,6]
>True

但是，我不断收到编译器错误，指出“使用 '==' 导致 (Eq a) 没有实例”

不胜感激（我是函数式语言中 Haskell 和递归的新手，所以像我五岁一样解释。）

Answer 1

你快到了

isMember :: Eq a => a -> [a] -> Bool
isMember _ [] = False
isMember y (x:xs) =
 if y == x then True else isMember y xs

编译器告诉你你承诺接受任何类型的列表成员 - 但后来你使用了函数==，它不适用于所有类型（例如函数）。

通过添加Eq a =>，您表示我接受所有具有 equals 方法的输入。

一些补充说明

你可以（重新）把最后一行写成

isMember y (x:xs) = (y == x) || isMember y xs

这相当于您的实现（感谢@chi 的评论）。 您的版本的优点在于它是尾递归的。

另外一点需要注意——模式：

• 为空列表案例返回一些东西 (isMember _ [] = False)
• 并使用此值遍历列表 (isMember y (x:xs) = ...)

碰巧出现了很多，并已被抽象为fold 函数家族（foldl、foldr ...）。把它放在你的用例中看起来像

isMember y xs = foldl False (\x b -> (x == y) || b) xs