function - 方案/ Racket : Fold with booleans

Question

(foldr + 0 '(1 2 3 4))

返回 10这是我所期望的，但是

(foldr and false '(true true false))

给我错误

and: expected an open parenthesis before and, but found none

foldr接受一个函数(它接受两个参数，因为我有一个列表)、一个基本情况和一个列表。我希望我的第二行代码返回 true 如果列表有多个 bool 值并且它们都是真的，这就是我认为它会起作用的方式。但显然不是。

Answer 1

And是一种特殊形式，不适用于 foldr ，它期待一个过程作为它的第二个参数。试试这个:

(foldr (lambda (x y) (and x y)) #t '(#t #t #f)) ;#t as base case

这种特殊情况的另一种选择是使用 andmap :

(andmap identity '(#t #t #f))