如果值是true，则haskell中列表上的fold函数返回true

Question

我试图获得一个具有foldr的函数以在具有诸如3> 4，...等值的列表上工作，如果列表中的值为true，则返回True。 到目前为止，我已经尝试过这样做：

fold :: [Bool] -> Bool
fold xs = foldr (x==True) xs
        where x:xs

Answer 1

您希望and xs “和”一个布尔列表。 同样， foldr (&&) True xs或all id xs也可以使用。

回想一下， foldr具有一个函数 （例如(&&) ）和一个基本情况 （例如True ）。 您的代码缺少两者。

Answer 2

Haskell为您提供了对程序中发生的事情的难以置信的控制，但是您必须明确地说出想要发生的一切。 特别是，如果您查看对foldr的调用：

foldr (\ x y -> ...) z xn

如果xn为空，则将得出z 。 否则，该值将是函数体（值了... ），不管它是什么。 您希望函数仅在特定条件下才为真，因此您可能希望该表达式成为&&运算符的应用程序：

foldr (\ x y -> ... && ...) z xn

x是第一个元素的值，您要设为true：

foldr (\ x y -> x == True && ...) z xn

y意思是“对于其余元素类似”，您也希望是真的：

foldr (\ x y -> x == True && y) z xn

当没有元素时，您需要为z传递想要的值。 如果没有约定，则所有元素均为“ true”，因此在这种情况下您希望为True ：

foldr (\ x y -> x == True && y) True xn

现在，如果x已经是布尔值，则x == True与x相同，因此我们可以简化该表达式：

foldr (\ x y -> x && y) True xn

但是Haskell对于(\\ xy -> x && y) ： (&&)有特殊的表示法，特别是因为这是一种常见情况：

foldr (&&) True xn

而且，由于该功能是一种常见的需要，有标准库的一个功能，它已经被称为and ：

and xn