Metalinguistic Abstraction

本文的标题其实是SICP第四章的标题，这一章的内容是迷人的，让人心醉。我们可以看到如何用Scheme实现一个Scheme解释器，如何实现惰性求值，如何在解释器内部实现非确定性计算，以及如何实现一个查询语言。收获知识的喜悦，突然想起陶潜的一句诗：“此中有真意，欲辩已忘言。”

这里有一些有趣的程序，类似SICP第五章，将Scheme代码翻译成C代码，甚至llvm汇编。

Q1的MBO也终于设定，我的英语IDP目标是技术写作 -- 内容为Lisp和Ruby中的DSL特性。