像快速失败测试一样运行 SICP 方案文件

Question

经过几年的编程，似乎是时候最终攻击SICP了。然而，我不想在 Emacs 中编辑和运行所有内容，而是使用不同的编辑器和简单的 makefile 运行所有练习。这似乎并不完全是规范，因为我找不到任何像运行文件这样基本的参考，直到出现“失败”为止。那么，我如何在shell上运行Scheme，以便它加载一个文件，按顺序计算每个表达式，并在遇到计算结果的语句时立即以非零退出代码终止到 #f 或者如果整个文件被成功评估则退出代码为零？ 到目前为止最接近解决方案的事情：

$ cat ch1.scm
...
(= 1 2)
$ scheme --load ch1.scm
...
Loading "ch1.scm"... done

1 ]=>

编辑：换句话说，是否有某种方法可以使如果出现以下情况，则在加载 ch1.s​​cm 期间停止评估其中的表达式的计算结果为#f？

Answer 1

如果您不想求助于成熟的单元测试库（可以理解），一种选择是编写自己的单元测试库。您可以使用read从文件中读取s-表达式，使用eval对它们进行评估并测试它们是否为假，然后报告，如果发现错误则退出。像这样的东西应该可以工作：

(define (read-and-test filename env)
  (call-with-input-file
      filename
    (lambda (in)
      (let loop ((input (read in)))
        (if (eof-object? input)
            (display "done!")
            (begin
              (if (eval input env)
                  (begin
                    (display input)
                    (display " ok")
                    (newline)
                    (loop (read in)))
                  (begin
                    (display "failed on ")
                    (display input)
                    (newline)
                    (exit)))))))))

如果将上述内容放入名为 unit.scm 的文件中，并且要测试的文件名为 test.scm，则可以使用以下命令调用它： Unix 命令行中的 MIT 方案如下所示：（

mit-scheme --load `pwd`/unit.scm --eval '(read-and-test "/Users/aki/code/scratch/test.scm" (the-environment))'

注意上面有一些 MIT 方案特定的内容，与 eval 和环境相关）

Answer 2

我可以想到两种方法。蛮力方法是编写一个 expect 脚本，该脚本将 schema 作为一个低级进程运行，并一次向其提供一行并检查返回的输出 - 基本上是一个机器人。更优雅的方法是将方案解释器中的顶级 REPL 替换为表达式计算结果为 #f 时退出的 REPL。