将符号定义为其他符号时方案中发生了什么？

问题描述

我是Scheme语言的初学者。

最近我发现数据类型符号可以使用引号显示，如下所示：

> 'E
E
> (quote E)
E

但是，如果执行下面的代码，则每种引用都可能失败：

> (define 'E 123)
> 'E
E: undefined;
 cannot reference an identifier before its deFinition
> 'abc
abc: undefined;
 cannot reference an identifier before its deFinition

那么执行代码(define 'E 123)会发生什么？

解决方法

首先，您要求Scheme评估(define 'E 123)。让我们在其前面加上一个引号，以查看没有'速记形式的情况。您可以始终这样做：引用任何表达式以询问Scheme，“您认为该值是什么？”

 > '(define 'E 123)
=> (define (quote E) 123)

好吧，在Scheme中，(define (x ...) ...)是(define x (lambda (...) ...))的简写：它只是定义函数的便捷简写。因此，在这种情况下，(define (quote E) 123)与(define quote (lambda (E) 123))相同。因此，您要重新定义的符号为quote，并将其定义为一个始终返回123的参数的函数。

接下来，您要求评估'E。再次让我们扩展它以浏览速记：

 > ''E
=> (quote E)

您现在调用定义的quote函数，并将变量E作为参数传递给它。但是E先前尚未定义，因此失败。如果您愿意，可以先定义E来具有任何值，然后'E可能返回123。这取决于您使用的是哪种Scheme评估程序：我发现的评估程序并不太感谢当您尝试重新定义quote时使用它，但是显然您不介意，因此我怀疑您会得到123，并且如果您定义abc然后求值{{1} }。

, 通常，

(define name ...)在范围的开始处在(bind name)中转换，并且在define出现的地方，它被执行(set! name ...)。您需要定义一个符号，而不是(quote name)。因为define是一种特殊形式，所以求值规则是特定的，而不是一般的应用-define不是函数调用。