爲什麼在Scheme中不評估？

Question

我正在使用DrRacket環境來嘗試Scheme語言。

我定義的總和+ 1如下：

(define sum+1 '(+ x y 1)) 

我想知道爲什麼下面的表達式不計算：

(let ([x 1] [y 2]) (eval sum+1)) 

，而這樣做返回正確的值：

(define x 1) 
(define y 2) 
(eval sum+1) 

Answer 1

eval沒有，除非是詞法變量是在同一個表達式創建了詞法變量的工作：

#!r7rs 
(import (scheme base) 
     (scheme eval)) 

(define env (environment '(scheme base))) 

(let ((x 10)) 
    (eval 'x env)) ; ERROR! `x` is not defined 

你可以把它看作eval總是在發生頂層與環境的全局綁定你傳遞給第二個參數。你可以從你的詞法環境值傳遞這樣也許絕招吧：

(eval '(let ((x 10)) 
     x) 
     env) ; ==> 10 


(let ((x 10)) 
    (eval `(let ((x ,x)) 
      x) 
     env) ; ==> 10 

的時候最Scheme實現運行代碼局部變量通常堆棧中分配。因此，一些想象這樣的代碼：

(define (test v) 
    (display v) 
    (newline) 
    (eval 'v)) 

可能會在運行時變成這樣：

(define (test 1 #f) ; indicates 1 argument, no rest 
    (display (ref 0)) ; fetches first argument from stack 
    (newline) 
    (eval 'v))  ; but what is v?, certainly not the first argument 

您也可以使角落的情況。如果你變異會發生什麼？

(define (test v) 
    (eval '(set! v 10)) 
    v) 

到eval結構可能來自用戶的輸入，所以它不是很明顯，v被突變，也有很多編制方案的實施需要那麼它需要知道的代碼運行的是v需要特殊的前處理該變異不同的變量治療，但它不是可確定的，因爲(set! v 10)可能來自數據庫或用戶輸入。因此，通過不包含本地綁定，您可以節省很多麻煩，並且語言更容易優化和編譯。

有Lisp語言只能解釋，因爲它允許傳遞宏作爲第一類對象。這些語言在編譯時無法推理。

Answer 2

與let不起作用的命令的原因是let創建局部變量。這意味着它創建的變量不能從任何地方訪問 - 只能從let的正文參數中訪問。

在你的榜樣，你定義：

(define sum+1 '(+ x y 1)) 

然後，你就控制了：

(let ([x 1] [y 2]) (eval sum+1)) 

這不起作用，因爲x和y只被在eval聲明中定義的，而不是內程序sum+1。這看起來可能與直覺相反，但它可以防止其他輸入出現很多錯誤。

你的第二個例子是：

(define x 1) 
(define y 2) 
(eval sum+1) 

這不工作，因爲x和y是全局定義。這意味着他們可以在任何地方和任何地方訪問。然後將它們應用於sum+1定義並可以打印。請回答您的任何問題或反饋！