(foldr + 0 '(1 2 3 4))
10私が期待するものを返しますが、
(foldr and false '(true true false))
エラーが発生します
and: expected an open parenthesis before and, but found none
foldr関数(1つのリストがあるので2つのパラメーターを取ります)、基本ケース、およびリストを取ります。リストにゼロを超えるブール値があり、それらがすべてtrueである場合、コードの2行目がtrueを返すことを期待しています。これが、機能すると思った方法です。しかし、明らかにそうではありません。