如何在Haskell中重新實現「all」函數？

Question

我需要定義一個函數all' :: (a -> Bool) -> [a] -> Bool，它驗證列表中的所有元素是否滿足某個條件。

例如：all' (<5) [1,2,3] = True，all' (>=2) [1,1,2,2,3,3] =假。

我的主要問題是我不知道如何處理函數的傳輸。

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 

現在試圖將其擴展到列表中。