Scheme: ある関数内のlambdaにどうやって引数が渡されているかがわからない

Question

該当のコード

(define (remove x ls)
  (if (null? ls)
      '()
      (let ((h (car ls)))
        ((if (eqv? x h)
            (lambda (y) y)
            (lambda (y) (cons h y)))
         (remove x (cdr ls))))))

質問

上記のコードは、渡されたリストに該当する値xが存在すればその値を除いたリストに評価される、という関数です。

そこで質問なのですが、この関数中の(lambda (y) (cons h y))について、(cdr ls)になるであろう、仮引数yに渡されるリストはどこで作られるのでしょうか？

初歩的な質問ではあるかと思いますが、お時間ございましたら回答いただけると嬉しいです。
よろしくお願いします。

Answer 1

(
  (if (eqv? x h)
         (lambda (y) y)
            (lambda (y) (cons h y))
   ....)

のifはlamda関数を返します。
仮にifの述語が#fだったとしますと次のようになります。

(
  (lambda (y) (cons h y))
   ....)

この関数のyに適用されるのはその後ろから与えられます。そうですね。(remove x (cdr ls))ですね。
というのも以下のように書くとfの引数がわかりますよね。

(f 
  (remove x (cdr ls)))

Comments

[kasanegi]

なるほど！
評価が進んでいくと、
((lambda (y) y) arg)となって関数呼び出しになる、という理解で問題ないでしょうか？

[fu7mu4]

それでいいです。

[kasanegi]

ありがとうございました！