球拍递归变量？ 。

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的每个分支中写入一次。