在haskell中过滤列表

如果我正确理解你的问题,你需要返回 不要 匹配谓词 (< 7) 作为对的第一个元素。

在这种情况下,您可以简单地使用 not 函数来翻转结果布尔值。
即创建一个新的谓词 (\x -> not (oldPred x)) 或使用函数组合: (not . oldPred) :

countFilter :: (a -> Bool) -> [a] -> ([a], Int)
countFilter f xs = (filter (not . f) xs, length (filter f xs))

注意这两者 filter 和 length 可以处理空列表,因此不需要编写 case 你自己。

或者,您可以使用 partition 函数来创建两个列表,这样就不会对列表进行两次筛选:

import Data.List

countFilter :: (a -> Bool) -> [a] -> ([a], Int)
countFilter f xs = let (ys, zs) = partition (not . f) xs
                   in (ys, length zs)

可能可以创建一个更高效的版本,而不使用 长度 ,但我把它作为练习放在一边:—)