創建本地綁定的'let'或'letrec'和'define'之間有什麼區別？

Question

我不明白的區別是什麼之間（遺憾的人爲的例子）：

(define average 
    (lambda (elems) 

    (define length 
    (lambda (xs) 
     (if (null? xs) 
      0 
      (+ 1 (length (cdr xs)))))) 

    (define sum 
    (lambda (xs) 
     (if (null? xs) 
      0 
      (+ (car xs) (sum (cdr xs)))))) 

    (define total (sum elems)) 

    (define count (length elems)) 

    (/ total count))) 

和

(define average 
    (lambda (elems) 
    (letrec ((length 
       (lambda (xs) 
       (if (null? xs) 
        0 
        (+ 1 (length (cdr xs)))))) 

      (sum 
       (lambda (xs) 
       (if (null? xs) 
        0 
        (+ (car xs) (sum (cdr xs)))))) 

      (total (sum elems)) 

      (count (length elems))) 

    (/ total count)))) 

據我所知，他們都創造了新的範圍，在那個範圍內創建4個局部變量，這些變量是相互引用的，並且是自己的，並且評估並返回一個主體。

我在這裏丟失了些什麼，或者是letrec與作用域define s同義嗎？

我知道這可能取決於實施;我試圖理解Lisps的基本原理。

Answer 1

你是對的，你的代碼的define和letrec版本之間有相似之處。然而，魔鬼在細節中。在R5RS中，internal define has letrec semantics。在R6RS中，internal define has letrec* semantics。

有什麼區別？你的代碼實際上只是強調了這種差異。至於哲浩的回答中提到，您同樣letrec作爲length和sum內的total和count定義是不正確的：length和sum不能保證被你正在評估的(length elems)和(sum elems)值的時間的約束，因爲結合這些變量不保證是從左到右。

letrec*與letrec類似，但具有從左到右的保證。所以，如果您將letrec更改爲letrec*，那就沒問題。

現在，回到我的初步意見：由於R5RS內部define使用letrec語義，甚至你define版本的代碼將是一個R5RS實施中的不正確，但它的R6RS的實現，它letrec*語義下好起來的。

Answer 2

這兩個let/letrec和define都會創建本地作用域定義。但是，當你不在裏面並且隱式的開始語句時，讓/ letrec更方便。例如，以下代碼使用let宏。

(define (test) (let ((x 1)) x)) 

使用局部範圍定義了相同的代碼將

(define test (lambda() (define x 1) x)) 

這是那種一個人爲的例子，但一般都採用讓宏做本地綁定被認爲是更多的功能。

此外，您的示例代碼不正確使用letrec。您不需要letrec聲明中的定義（實際上它們實際上不應該在那裏）。