Haskell实现判断布尔列表是否含True的some函数代码报错如何修复

原代码存在的问题 #

• 逻辑错误：some (False: _) = False 规则会在列表第一个元素为False时直接返回结果，完全忽略后续元素是否存在True，不符合需求。比如输入[False, True]会被错误返回False。
• 语法+逻辑错误：some (_: False) 写法不合法，Haskell中(:)运算符右侧必须是列表类型，填入单个布尔值False本身无法通过编译；就算修改为合法的(_: [False])也只能匹配长度为2且第二个元素为False的列表，覆盖不了通用场景。

正确实现方案 #

用递归逻辑处理即可：

1. 空列表没有任何元素，直接返回False
2. 非空列表先判断头部元素，如果是True直接返回True
3. 如果头部是False，递归判断剩余的尾部列表

some :: [Bool] -> Bool
some [] = False
some (True:_) = True
some (False:xs) = some xs

测试用例验证 #

• 第一条测试用例some [succ 'a' /= 'b', 1 + 1 /= 2, 10 < 20]：前两个元素都是False，第三个元素为True，递归到第三个元素时匹配(True:_)直接返回True，符合预期。
• 第二条测试用例所有元素都是False，递归遍历完所有元素后匹配空列表规则返回False，符合预期。
• 第三条空列表直接返回False，符合预期。

内容的提问来源于stack exchange，提问作者user16064530