haskell的some谓词
时间: 2023-12-19 08:31:46 浏览: 142
Haskell中的`some`谓词是一个高阶函数,它接受一个谓词和一个列表,并返回一个布尔值,指示列表中是否存在至少一个元素满足谓词。以下是一个使用`some`谓词的例子:
```haskell
import Data.List (some)
-- 判断列表中是否存在偶数
hasEven :: [Int] -> Bool
hasEven = some even
```
在上面的例子中,`some even`接受一个列表作为参数,并返回一个布尔值,指示列表中是否存在至少一个偶数。`hasEven`函数接受一个整数列表作为参数,并使用`some`谓词来判断列表中是否存在偶数。
阅读全文