Scheme 哲学:程序设计语言的设计不应该是特征的堆砌,而应消除那些需要依赖于多余特征的弱点和局限。 Scheme 语言证明,
极少的表达式构造规则和不加限制的表达式复合方式可以
构造出实用而高效的程序设计语言,其灵活性足以支持今
天的大部分主流编程模型。
Scheme 的第一份描述文档编写于 1975 年[28]。 1978 年发
布的修订报告[25] 描述了 MIT 实现中语言的演化情况,该
实现带有一个开创性的编译器[26]。 1981 和 1982 年开始的
三个独立的项目将 Scheme 的不同变体用于 MIT、 Yale 和
Indiana 大学的课堂教学[21, 17, 10]。一部导论性质的,使
用 Scheme 语言的计算机科学教材于 1984 年出版[1]。
由于 Scheme 得到了日益广泛的应用,语言的局部方言开
始产生分歧,以至于学生和研究者不时会发现自己很难
理解其他地方编写的代码。于是, Scheme 各主要实现版
本的十五位代表于 1984 年 10 月聚集在一起,以制定一份
更好的、能被更广泛接受的 Scheme 语言标准。他们的报
告[4]于 1985 年夏天在 MIT 和 Indiana 大学出版。后续的
修订版本于 1986 年春天[23]和 1988 年春天[6]发布。现在
这份报告反映了 1992 年 6 月在 Xerox PARC 会议上达成
一致的进一步修订意见。
我们希望这份报告属于整个 Scheme 社区,因此我们授
权大家免费复制它的全部或部分内容。我们特别鼓励
Scheme 的实现者将这份报告用作手册和其他文档的出发
点,并在需要时修改报告的内容。
1