私が苦労している模擬試験には3つの機能があります。
述語「pred」と集合「x」を取り、集合内のすべての要素について述語が true かどうかを返す関数。
私が試していたこと：
(define (all? pred x)
(lambda (t)
(equal? (pred t) x)))
pred t は、述語が true である x のサブセットを返すため、それを元のセットと比較しようとしていました...明らかにそれを行う方法ではありません。
操作「op」とセット「x」を取り、基本的に op 関数がセット全体にマップされている新しいセットを返す関数。基本的にマップと同等なので、これについて助けを求めるべきではないと思うでしょう...
私がしようとしていること:
(define (map op x)
(lambda (t)
(map (op t))))
これらの操作は単純であるべきだと思うので、カリー化のいくつかの基本的な側面が欠けているに違いありません..