如果 x 在列表中，则返回 true，否则返回 False（递归）

Question

我正在编写一个简短的递归 function 以将列表作为输入，output 是一个布尔值。 （我是 haskell 初学者）到目前为止，我可以检测第一个元素是否为 3，但我不确定如何使用递归来检查列表的 rest。

func :: [Int] -> Bool
func [] = False
func (x:xs)
  | (x == 3)           = True
  | otherwise          = False

Answer 1

我也是 Haskell 的新手。

通过对您的代码稍作改动，它可以重写为

func :: [Int] -> Bool
func [] = False
func (x:xs)
  | x == 3    = True
  | otherwise = func xs

解释：

• 如果列表为空：没有 3
• 如果列表不为空：
  1. 如果 head 是 3，那么我们有 3
  2. 否则我们应该检查列表的 rest，所以“3 在列表中”的答案等同于“x 在 xs 中”。

如果您接受一点更改，我可以建议使用 OR 实施（以及惰性评估的帮助）。

func :: [Int] -> Bool
func [] = False
func (x:xs) = x==3 || func xs

它实际上与上面的代码相同，但行数更少。

• 如果 head 为 3，则返回 True。
• 如果 head 不是 3，请检查列表的 rest。

最后给大家介绍一下elem function，它的作用是：获取一个元素和一个列表，如果a在列表中则返回True，否则返回False。 这正是我们想要的，所以我写：

containsThree :: [Int] -> Bool
containsThree = elem 3  

另请注意，我使用了无点样式，如果您不熟悉，第二行与以下内容相同：

containsThree xs = elem 3 xs  

祝您学习 Haskell 好运。