Scheme宿主与两层解释器的11项值核验[#59]
example. Scheme 三层结果的 11 项一致性核验[mce-three-levels]
agrees?
⇒ "11 cases passed" · checked
examples与agrees?声明输入、预期值及比较函数。宿主run-host直接求值,run-scheme执行用户程序,run-inside通过一层自解释执行它。
11个案例包含词法遮蔽、返回闭包、短路、map/apply、命名let与let*。每例的三种执行方式分别与显式预期比较;有限案例不能证明完整等价。宿主比较只使用共同支持的形式,不把我们教学子集的define扩展当作标准Scheme。