Scheme基础教程：S-expressions与编程语言定义

本文档是一份关于Scheme编程语言的基础教程，针对在课堂上使用的子集进行了简要介绍。Scheme是一种函数式编程语言，起源于Lisp，特别强调简洁和表达力。它以S-expressions（也称为形式）作为其核心结构，这些是具有列表形式的数据单元，可以包含数据结构、函数定义以及函数调用。在Scheme中，一切皆为表，无论是变量、常量还是程序逻辑，其语法都遵循一种简单的一致性，可以用一套扩展的BNF (Backus-Naur Form) 语法规则来描述。 原始的BNF规则如下： - S-expression → ( { S-expression } ) | Symbol | Number 这意味着一个完整的Scheme表达式可以是： 1. 一个嵌套的括号序列，其中包含零个或多个S-expression； 2. 一个符号（标识符或关键词）； 3. 或者一个数字。 课程推荐的教材是《Scheme编程语言第二版》，作者是R. Kent Dybvig，该书提供了对Scheme官方规范R4RS（Revised (4) Report on the Algorithmic Language Scheme）的详细解释，可以从Swiss.ai.MIT.edu网站获取。 此外，我们所使用的Scheme实现文档是SCM（Scheme Implementation），它提供了有关实际编译器和环境的详细信息，可以在http://www.swiss.ai.mit.edu/~jaffer/scm_toc.html 查看。 在学习Scheme时，你需要理解基本的S-expression操作，如原子值（Symbols和Numbers）、列表构造、递归函数定义、条件分支、循环等。随着深入，你将学习如何处理更复杂的程序结构，以及如何利用Scheme丰富的库和工具进行高级编程任务。尽管这门语言简洁，但其灵活性和强大的设计原则使其在现代软件开发中占据了一席之地，特别是在教育领域和学术研究中广泛使用。