球拍递归变量？

Question

图。 《如何设计程序》中的65如下：

; Nelon -> Number
; determines the smallest number on l
(define (inf l)
  (cond
    [(empty? (rest l)) (first l)]
    [else
     (local ((define smallest-in-rest (inf (rest l))))
       (cond
         [(< (first l) smallest-in-rest) (first l)]
         [else smallest-in-rest]))]))

有人能解释一下最小静态变量是如何工作的吗？我在函数中得到递归，但变量让我感到困惑

Answer 1

这只是以下内容的简写（简写;-)）：

(let ((smallest-in-rest (inf (rest l))))
  (cond
    [(< (first l) smallest-in-rest) (first l)]
    [else smallest-in-rest]))

let 应该清楚地表明我们只是存储(inf (rest l)) 的结果，因此它只需要在代码中编写一次，而不是为cond 的每个分支编写一次。