多个元素的布尔运算符

Question

我知道可以做到:

any (>3) [1,2,3,4,5]

但优雅的实施方式是什么:

any and[(>3),(<5)] [1,2,3,4,5]

要么

all or[(<2),(>4)] [1,2,3,4,5]

等等？

Answer 1

我相信你想检查是否有任何元素(<5)和(>3).

你可以这样做:

any (\x -> x > 3 && x < 5) [1..5]

你的另一个可以完成

any (\x -> x < 2 || x > 4) [1..5]

但也许定义&&和||处理函数会更有趣:

infixr 3 &&&
infixr 3 |||

(&&&) :: (a -> Bool) -> (a -> Bool) -> (a -> Bool)
(f &&& g) x = f x && g x

(|||) :: (a -> Bool) -> (a -> Bool) -> (a -> Bool)
(f ||| g) x = f x || g x

所以现在我们可以将你的例子重写为:

any ((>3) &&& (<5)) [1..5]
any ((<2) ||| (>4)) [1..5]

Answer 2

您的符号and[(>3),(<5)]几乎可以直接实现为高阶函数.我会称之为andP,因为any需要一个谓词和一个值列表,我们想要一个带有谓词列表的函数.

andP :: [a -> Bool] -> a -> Bool
andP ps x = all ($ x) ps

现在

andP [(>3), (<5)] x = x > 3 && x < 5

你可以像在初始请求中那样写

any (andP [(>3), (<5)]) [1,2,3,4,5]

作为旁注,对于这个特定的例子,我认为更清晰的方式是:

between :: (Ord a) => a -> a -> a -> Bool
between lo hi x = lo < x && x < hi

any (between 3 5) [1,2,3,4,5]