Scheme 48 是一个高性能的模块化的 Scheme 解释器,它是基于虚拟 机器的设计,它有非常高级的基于 nested engines 的并行计算设施。 使用了大量 continuation 的程序,在 Scheme 48 以及基于 Scheme 48 的解释器,比如 Scsh 上明显比其它解释器运行快得多。
我曾经测试过一个对欧洲地图4着色的使用大量 amb 操作符的程序, MzScheme 运行 20 分钟还没有结果,但是 Scsh 只用了不到一分种 就得出了所有 2500 多个解。
可以把定义分开在不同的模块中,这样可以解决名字空间冲突。
对 Scheme48 的模块操作进行的实验。你可以从这里看出 Scheme48 的模块到底是怎么回事。