MIT Scheme 的基本使用

安装和启动

启动

1. Documentation：以浏览器方式打开 HTML 形式的 Scheme 文档
2. MIT GNU Scheme：Edwin 环境下启动 Scheme。Edwin 是一个类似 emacs 的编辑器

Edwin系统的退出

C-x c ：停止 Edwin 并回到 Scheme 的命令交互状态。

C-x C-z：停止 Edwin 并挂起 Scheme 系统。再次启动 Scheme 将唤醒挂起的 Scheme 系统，回到挂起前的系统状态。

C-x C-c：停止 Edwin 和 Scheme 系统。

从交互循环进入 Edwin

交互式执行中退出

n ]=> (exit)

系统将要求确认。这样退出后所有在 Scheme 里已经做的事情都将丢掉了。

基本使用：

在 Edwin 里 C-x C-e 求值光标左边的一个完整表达式，M-z 求值光标当时位于其中的整个定义式（一个定义式也就是一个表达式，其左括号从最左边开始）

命令行交互方式下的基本使用

Edwin方式下的基本使用

MIT-GNU-Scheme 文档

Scheme 文件操作

如果程序比较长，可以用系统外的编辑器编写好程序源文件，而后用 load 函数装入系统。下面是一个用绝对路径的实例：

1 ]=> （load "e:\temp\test1.scm")

求值这个表达式，可以看到文件装入的信息。load 函数还可以装入编译好的程序文件，详情见 Scheme 文档 “MIT Scheme User's Manual” 的 “3.2 Loading Files”。

用函数 cd 可以转换当前工作目录。下面是一个实例：

1 ]=> （cd "e:\temp")

此后就可以直接用文件名装入这个目录下的文件了。

保存和恢复系统映像：

可以将 Scheme 系统的当前运行现场保存起来，以便将来回复这个现场。这样保存的现场称为一个“world image”或者一个“band”。实际上，Scheme 启动时也就是装入了一个默认的 band，装入编译器的启动方式就是装入另一个 band。

函数 save-disk 将当前现场存入文件。下例将现场存入当前目录下的文件 image1：

1 ]=> (disk-save "image1")

函数 disk-restore 恢复原保存在一个文件里的现场：

1 ]=> (disk-restore "image1")

阅读 MIT Scheme 文档：

MIT Scheme 手册的主要内容是介绍这个 Scheme 系统提供的功能，包括预定义的变量（variable）、特殊形式（special form）和过程（procedure，函数）。例如

• 过程的实例：
  procedure: eqv? obj1 obj2
  过程名是 eqv?，取两个参数。使用的例子： (eqv? 3 2)

  procedure: list object ...
  过程名是 list，取 0 个或任意多个参数。用例： (list 1 2 3 4)

• 特殊形式的实例：
  special form: lambda formals expression expression ...
  特殊形式，名字是 lambda，后面应有一个参数表和一个或多个表达式。
  用例： (lambda (x y) (+ x y))