Scheme/Racket:用布尔折叠

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如果列表的布尔值超过零并且它们都是真的,那就是我认为它会起作用的方式.但显然不是.

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))