Racket博士的Lambda递归

Question

我试图在Dr Racket创建“应用N次”功能，但不知道我哪里出错了。 我的代码似乎是正确的，但显然我错过了一些东西。 下面打印的是代码和我得到的错误。

(define (applyNtimes F n)
  (lambda (x)
    (if (= n 0) x 
        (F (applyNtimes F (- n 1))))))

(define cdr3 (applyNtimes cdr 3))

(cdr3 '(1 2 3 4 4 5))

这是我得到的错误：

cdr: contract violation
  expected: pair?
  given: #

预期的产出应该是

(4 4 5)

Answer 1

这是问题所在，你试图将F应用于applyNtimes的返回，但想一想，这会带来什么回报呢？ 一个lambda 。

这意味着在你的情况下，我们试图将cdr应用于lambda，呐喊。

为了获得这个lambda的值实际使用它，我们必须调用它。 这样做很容易，只是改变

(F (applyNtimes F (- n 1))))))

至

(F ( (applyNtimes F (- n 1)) ;;Get the Lambda
     x))))) ;; and apply it to x

为了理解这一点，让我们分开，首先我们将F应用于某事。 因为在我们的情况下F真的是cdr我们最好给它一些形式的对。

在这段代码中，'Something'是将(applyNTimes F (- n 1))应用于x 。

这导致我们进行一些递归，我们真正在做的是

(F (F (F ... ((applyNTimes F (- n whatever)) x))))

那么这个递归怎么结束呢？ 那么当(- n whatever)是0时，我们返回lambda

(lambda (x) x)

这真的把这一切都变成了

（F（F（F（F（F（F x））））））

这是我们想要的applyNtimes函数。