haskell - 我的第一个 Haskell 程序，我不明白出了什么问题

Question

我正在尝试递归地实现elem函数。这是我写的:

 member :: Eq a => a -> [a] -> Bool
 member _ [] = False

 member n (x:xs)
     | n == x           = True : member (n xs)
     | otherwise        = False

 main = do
 print (member 10 [1,12,11])

我收到“无法将预期类型“Bool”与实际类型“[a0]”匹配的错误。

我也尝试使用 if..else..then 进行相同的操作，但没有成功。

我认为我在这里错过了 Haskell 的一个非常基本的基本概念。

帮忙？

This和 this没有帮助我。

Answer 1

子句 True : member (n xs) 与 member 声明的返回类型 Bool 不匹配。如果您在 xs 中发现 x 且 x == n，那么您只需返回 True。

否则，您应该使用较小的列表 xs 在 member 中递归(即，再次检查 n 与下一个元素是否相等) 。这是您的代码，按照描述修复了这两个问题:

member n (x:xs) | n == x    = True
                | otherwise = member n xs