Scheme R5RS 1.概论

语义语法

1. Scheme 是一种静态作用域的程序设计语言.对变量的每一次使用都对应于该变量在词法上的一个明显的绑定.

2. Scheme 中采用的是隐式类型而非显式类型.类型与值 (也称对象)相关联,而非与变量相关联.

3. Scheme 的实现必须支持严格尾递归.

4. Scheme 过程在本质上都是对象.

5. Scheme 过程的参数总以值的方式传递,即无论过程是否需要实参的值,实参表达式都会在过程获得控制权之前被求值.

6. Scheme 的算术模型被设计为尽量独立于计算机内数值的特定表示方式.

7. Scheme 区分精确算术和非精确算术的概念,前者对应于数学上的理想情况, 后者则用于表达近似值.

命名约定

1. 返回布尔值的过程名字通常以”?”结尾. 这样的过程被称为谓词 (Predicate).

2. 将值存入先前分配的存储位置的过程名字通常以”!”结尾.这样的过程被称为改变过程(Mutation procedure).

3. 改变过程的返回值是未定义的.

4. 以某个类型的对象为参数,返回另一个类型的相应对象的过程名字中间包含”->”.

   例如,过程 list->vector以一个表为参数,返回一个向量,该向量中的元素与表中的元素相同.