Exercise 5.25 · 习题

Exercise 5.25: Modify the evaluator so that it

uses normal-order evaluation, based on the lazy evaluator of 4.2.

练习 5.25：修改求值器，使其使用正则序求值，以 4.2 节的惰性求值器为基础。