如何在Haskell中重新实现"all"功能？

Question

我需要定义一个函数all' :: ( a -> Bool ) -> [a] -> Bool来验证列表中的所有元素是否满足某个条件.

例如:all' ( <5) [1,2,3] = True, all' (>=2) [1,1,2,2,3,3]= False.

我的主要问题是我不知道如何处理函数的传输.

Answer 1

Haskell中的函数与任何其他值一样被传递.这是一个帮助您进步的示例:

doBothSatisfy :: (a -> Bool) -> a -> a -> Bool
doBothSatisfy p x y = (p x) && (p y)

现在用法:

doBothSatisfy (> 5) 6 7 == True
doBothSatisfy (> 5) 1 8 == False

现在尝试将其扩展到列表.