如何修复判断列表是否包含0的Haskell函数hasZero？

你编写的代码存在两个核心问题：

• 第一个模式匹配hasZero (0) = True匹配的是单个Int类型的值0，和函数声明的入参类型[Int]（Int列表）完全不匹配，编译阶段就会抛出类型错误
• 现有逻辑没有实现列表遍历逻辑，即使修复类型匹配问题，也无法处理长度大于1的列表输入

方案1：基础递归实现（适合理解底层逻辑） #

通过列表的模式匹配实现逐元素校验：

hasZero :: [Int] -> Bool 
hasZero [] = False  -- 空列表不存在0，直接返回False
hasZero (0:_) = True -- 列表首元素为0，直接返回True
hasZero (_:xs) = hasZero xs -- 首元素不为0，递归判断剩余子列表

方案2：高阶函数实现（Haskell惯用简洁写法） #

直接调用标准库的any函数，它会遍历列表判断是否存在满足条件的元素：

hasZero :: [Int] -> Bool
hasZero = any (== 0)

以上两种实现都能正确处理任意长度的Int列表输入，符合需求。

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