为什么在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定义并可以打印。请回答您的任何问题或反馈！