recursion - Scheme中的尾递归函数

Question

我正在为圣诞节考试而学习并做一些示例考试题，我遇到了这个让我有点难过的题

我可以很好地进行常规递归，但我无法理解如何使用尾递归编写相同的东西。

普通版：

    (define (factorial X)
      (cond
            ((eqv? X 1) 1)
            ((number? X)(* X (factorial (- X 1))))))

score 24 · Accepted Answer

一个函数是尾递归的，函数返回后除了返回它的值外，必须无事可做。也就是说，递归步骤中发生的最后一件事是调用函数本身。这通常通过使用累加器参数来跟踪答案来实现：

(define (factorial x acc)
  (if (zero? x)
      acc
      (factorial (sub1 x) (* x acc))))

上述过程最初将1作为累加器调用，如下所示：

(factorial 10 1)
=> 3628800

请注意，当达到基本情况时，会返回累积值，并且acc在递归调用中的每个点都会更新参数。我必须在过程中添加一个额外的参数，但这可以通过定义内部过程或命名来避免let，例如：

(define (factorial x)
  (let loop ((x x)
             (acc 1))
    (if (zero? x)
        acc
        (loop (sub1 x) (* x acc)))))

1 回答 1