球拍 lambda 参数来自哪里？

Question

我之前问过一个类似的问题，我只是想确保我理解这个想法，在 -lambda(x)- 第 4 行，x 是什么，它来自哪里？

(define (cached-assoc xs n)
  (letrec ([memo (make-vector n #f)]
           [acc 0]
           [f (lambda(x)
                (let ([ans (vector-assoc x memo)])
                  (if ans
                      (cdr ans)
                      (let ([new-ans (assoc x xs)])
                       (begin
                         (vector-set! memo acc (cons x new-ans))
                         (set! acc (if (= (+ acc 1)) 0 (+ acc 1)))
                         new-ans)))))])
  f))

Answer 1

您的cached-assoc 过程返回f，这是一个以x 作为未绑定参数的函数。它还没有值，当你最终调用它时，值将是你传递给它的任何值：

((cached-assoc xs n) 10)

在上面的示例中，x 将绑定到 10，xs 和 n 将是您在调用 cached-assoc 之前为它们定义的任何值。我相信混淆的根源在于cached-assoc 正在返回一个lambda，一旦你理解了这一点就会很清楚。