Scheme 程序与内置数据_Scheme_Lisp_Sicp

Scheme 程序与内置数据

scheme lisp

Scheme 程序与内置数据,scheme,lisp,sicp,Scheme,Lisp,Sicp,我试图理解这样一种观点，即lisp中的过程和数据实际上是相同的。SICP说：数字的值是它们命名的数字内置运算符的值是执行相应操作的机器指令序列，以及其他名称的值是与环境中的这些名称关联的对象第二条规定是“内置运算符的值是执行相应操作的机器指令序列”。如果我希望更改值从而更改机器指令，如下所示： (define + 2) (* + 3) ;6 (define 2 +) ;bad syntax 它很好用现在，第一个案例规定“数字的值就是它们命名的数字”。如果我打字

我试图理解这样一种观点，即lisp中的过程和数据实际上是相同的。SICP说：

数字的值是它们命名的数字
内置运算符的值是执行相应操作的机器指令序列，以及
其他名称的值是与环境中的这些名称关联的对象

第二条规定是“内置运算符的值是执行相应操作的机器指令序列”。如果我希望更改值从而更改机器指令，如下所示：

  (define + 2)

  (* + 3) ;6

  (define 2 +) ;bad syntax

它很好用

现在，第一个案例规定“数字的值就是它们命名的数字”。如果我打字

该值是输出的2的表示形式。现在，如果我想改变它，像这样：

  (define + 2)

  (* + 3) ;6

  (define 2 +) ;bad syntax

为什么会这样？

在任何语言定义中，都需要区分符号（如果有符号）或名称，以及文字（在只有文字的语言中，其中一些代码用于指令，这是不必要的）

在示例中的lisp中，

和

3.1415

是文字-

可能是符号。因此，您可以重新指定一个符号或名称以指向其他地方，这是有意义的。然而，文本将始终是数据。它们与名称不同

您可以定义一种语言，其中文字是映射到默认值的符号，如

，可以根据需要重新映射。这种语言的一个例子可能是C预处理器

编辑：一般来说，您的评论是关于lisp中“代码是数据”的方式。你的例子是这个特性的一个坏例子——这个问题涉及到语言及其标记的解析器或语法

下面是一个更好的例子：

(+ 2 3)

此表达式既是可执行语句，也是数据结构。也就是说，它可以为“返回

”的函数调用编码，或者，如果前缀为“请勿立即对我求值

”

，则可以为pair结构编码

(+ . (2 . (3 . NIL)))

这是lisp实现中的标准链表结构。您可以在代码中传递此数据结构，稍后使用类似于

EVAL

函数的功能执行它，或者（最强大的）编辑它，以便它执行其他操作，然后执行它

这是可能的，因为LISP是-源代码同时作为代码和数据工作。