撸了个 Scheme 解释器，也算是拿 Haskell 做过东西了（虽然只是个玩具

最大的体会就是，既熟悉了 Haskell，也巩固了 Scheme （虽然看过 SICP 但是并不是很明白它的 quosiquote 和 call/cc 之类的鬼东西

本来是打算自己定义一门语言（像这个），但是发现挺麻烦的（大雾），而且我比较关心的也是解释执行的过程，于是还是决定把 Scheme 实现一下。大体上是跟着 Write Yourself a Scheme in 48 Hours 来的，在它的基础上增加了 Continuation 之类的玩意儿

λ-calculus

自从了解了lambda演算，我就觉得，每个写代码的人都应该学学它。——沃兹·基硕德

λ演算的详细介绍可以从 Wikipedia 找到。

简单来说，这是一个比图灵机早提出几个月的可计算性模型，表达优美形式简洁反正比图灵机高到不知道哪里去了，但是愚蠢的人类没办法在机器上直接实现它所以只能照着图灵机来造计算机，导致图灵那家伙小人得志真正的大神却退居二线（相对图灵来说的二线）

（为了方便表示，以下将 λV.E 记为 V -> E ）

数据

在原始的 lambda 演算中，没有直接的“数字”概念。

lambda 演算的全部规则仅有两条（其实也可以说是三条），在这种简洁的体系中没有一个容纳原生“数字”概念的空间。

但是神奇的是，仅仅只有两条“运算方法”，却能够构造出整个直觉上的“数字”体系。这种通过“过程”构造的“数字”，我们叫它“Church Numerals”，因为它正是由引入 lambda 演算的那位神人提出的。