Scheme 中的尾递归函数

我正在准备圣诞节考试并做一些考试样本，我遇到了这个让我有点困惑的问题

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

普通版：

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

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

(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)))))