球拍遞歸變量？ 。

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