除数函数中let的使用

Question

（定义除数 (λ (n) （让 f（（i 2）） （条件（（> = i n）'（）） （（整数？（/ n i））（缺点i（f（+ i 1）））） （否则（f（+i 1）））））））

我对@9​​87654323@ 部分以及使用(f (+ i 1)) 的递归调用有点困惑。

f 会变成全部((i 2)) 吗？ (f (+ i 1)) 部分是如何工作的？我认为(+ i 1) 变成了3，但是会发生什么？

编辑：我不太确定let 是如何工作的。我不太确定如何表达我不明白的内容。如果有人可以解释 let 通常如何与该递归调用一起工作，那将很有帮助。我见过let 的其他示例，但我不明白它在这种方法中是如何工作的。

edit2：谢谢，我不知道它被称为namedlet。我正在查找let，我找到了let*，但他们没有重新命名为let。

Answer 1

作为let 的第一部分的符号称为命名let。你可能知道一个标准的let：

(let ((i 2))
  body ...)

只是立即调用的匿名函数的缩写：

((lambda (i)
   body ...)
 2)

使用命名为let，您可以为该函数命名，以便您可以将其作为函数从主体中调用。除了阴影较少之外，它相当于：

(define (divisors n)
  (define (f i)
    (cond
 ((>= i n) '())
          ((integer? (/ n i))
     (cons i (f (+ i 1))))
          (else (f (+ i 1)))))
  (f 2))

所以要回答您的问题，最初的i 是2。然后递归调用将i 增加到3 等等，方式与上述代码相同。与所有调用一样，绑定变量是调用的本地变量，因此每一轮都有自己的i。

现在，如果您查看此版本以及名为let 的版本，您会注意到let 中的参数和绑定更接近，因此代码的意图更容易理解。此外，当您知道命名let 允许您使用新绑定调用同一个块时，您会认为命名let 比替代方法更容易阅读。