2022-05-19 01:49
变量在字面上是符号 (或者更确切地说是标识符), 但它不代表字面, 而是引用与其关联的值. 这与数学的实践类似, 但数学文献经常混淆符号和变量, 然而在Scheme中这两者有着句法上的区别, 虽然暂时我们还不会引入符号.
我们可以用define形式将一个符号和一个值关联起来, 这就是"起名字", 一种最基本的抽象形式. 俗话有云, 如果你知道一个精灵的真名 (true name), 那么你也就能够操纵它.
注意: 在Scheme中, 过程, 或者说函数, 也是值, 或者说是可以操纵的对象. 同样地, 我们可以使用符号去引用一个过程, 但它的表示, 是因实现而定的. 这里面有很多原因, 之后我们会解释.
+自然与一个表示数字加法的过程相关联. 这是我使用的实现 (Chez Scheme) 输出的样式.