Haskell是会员功能错误

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和Recursion的新手，所以解释为我五岁。）

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 =>您说我接受所有具有等于方法的输入。

一些额外的说明

您可以（重新）将最后一行写为

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

这相当于你的实现（感谢@chi的评论）。 你的版本有什么好处，它是尾递归的。

另一点需要注意 - 模式：

• 为空列表案例返回一些内容（ isMember _ [] = False ）
• 并使用此值迭代列表（ isMember y (x:xs) = ... ）

碰巧出现了很多，并被抽象为fold -functions系列（ foldl ， foldr ......）。 把它放在你的用例中就好了

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