Scheme R5RS 3.基本概念

变量 , 语法关键字

1. 一个标识符可以命名一个语法类型,或命名一个值的存储位置.

2. 命名某语法类型的标识符被称为语法关键字,也就是说它与该语法绑定在一起.

3. 命名某存储位置的标识符被称为变量,即它与该存储位置绑定在一起.

绑定结构

1. 某些表达式类型可用于创建新的语法种类,并将语法关键字绑定到新语法.另一些表达式类型可用于创建新的存储位置,并将变量绑定到那些存储位置.这些表达式类型被称为绑定结构.

2. 最基本的变量绑定结构是lambda表达式,因为所有其他的变量绑定结构都可以用lambda表达式来描述.

3. 其他变量绑定结构包括 let, let*, letrec 和 do 表达式

作用域

1. 标识符在程序中的每一个绑定位置都对应于一个程序文本的作用域,该绑定仅在该作用域内可见.

2. 作用域由创建绑定的特殊绑定结构决定.

   例如,如果绑定由lambda表达式创建,它的作用域就是整个lambda表达式.

外部表示

1. Scheme(和 Lisp)中的一个重要概念是对象的外部表示.

2. 外部表示是一个字符序列.

   例如,整数28的外部表示是 字符序列”28”,包含整数 8 和 13 的表的外部表示是字 符序列”(8 13)”. 一个对象的外部表示并不一定是惟一的.整数 28也可以表示为”#e28.000”和”#x1c”,上一段提到的表也可以表示为”( 08 13 )”和”(8 . (13 . ()))”

3. 许多对象都拥有标准的外部表示,但一些对象,如过程,没有标准的外部表示(尽管特定的Scheme实现可为它们定义外部表示). 外部表示可以被写入程序代码,以便获取相应的对象.

4. 外部表示还可用于输入和输出.过程 read解析外部表示,过程write生成外部表示, 它们共同提供了优雅和强大的输入/输出机制.

5. Scheme的语法拥有这样的特性:任何构成表达式的字符序列也同时是某个对象的外部表示.

尾递归

1. Scheme 实现必须是严格尾递归的.