Schema/Racket: Falten mit Booleschen

Question

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

gibt zurück. 10 was ich auch erwarte, aber

(foldr and false '(true true false))

gibt mir die Fehlermeldung

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

foldr benötigt eine Funktion (die zwei Parameter benötigt, da ich eine Liste habe), einen Basisfall und eine Liste(n). Ich erwarte, dass meine zweite Codezeile true zurückgibt, wenn die Liste mehr als null Booleans enthält und alle true sind. Aber anscheinend nicht.

Answer 1

And ist eine spezielle Form und funktioniert nicht mit foldr die eine Verfahren als sein zweites Argument. Versuchen Sie stattdessen dies:

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

Eine andere Alternative für diesen speziellen Fall wäre die Verwendung von andmap :

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

Answer 2

In einem Schema-System, and ist in der Regel als Makro oder Sonderform und nicht als Prozedur definiert, weshalb es nicht funktioniert:

#;1> +
#<procedure C_plus>
#;2> and

Error: unbound variable: and