自从了解了lambda演算，我就觉得，每个写代码的人都应该学学它。——沃兹·基硕德
λ演算的详细介绍可以从 Wikipedia 找到。
简单来说，这是一个比图灵机早提出几个月的可计算性模型，表达优美形式简洁反正比图灵机高到不知道哪里去了，但是愚蠢的人类没办法在机器上直接实现它所以只能照着图灵机来造计算机，导致图灵那家伙小人得志真正的大神却退居二线（相对图灵来说的二线）
（为了方便表示，以下将 λV.E 记为 V -> E ）
在原始的 lambda 演算中，没有直接的“数字”概念。
lambda 演算的全部规则仅有两条（其实也可以说是三条），在这种简洁的体系中没有一个容纳原生“数字”概念的空间。
但是神奇的是，仅仅只有两条“运算方法”，却能够构造出整个直觉上的“数字”体系。这种通过“过程”构造的“数字”，我们叫它“Church Numerals”，因为它正是由引入 lambda 演算的那位神人提出的。
说来惭愧，虽然对于 CPS transform 这个概念略有耳闻（当时的理解是一种将普通递归调用变化为尾递归的方法），但是对于 CPS 这个概念还是在看轮子哥的文章 时才想起去详细了解。终究还是CS基础不牢。
In functional programming, continuation-passing style (CPS) is a style of programming in which control is passed explicitly in the form of a continuation. This is contrasted with direct style, which is the usual style of programming. Gerald Jay Sussman and Guy L. Steele, Jr. coined the phrase in AI Memo 349 (1975), which sets out the first version of the Scheme programming language.[1][2] John C. Reynolds gives a detailed account of the numerous discoveries of continuations.[3]
简单来说，就是一种程序调用方式，在每次函数调用时通过传参决定下一步执行的内容。