当我写到这里的时候，我自己都吃了一惊。 环境、存储这些比较让人耳熟的还没讲到，continuation先出来了。 维基百科里对continuation的翻译是“延续性”。 这翻译看着总有些违和感而且那个条目也令人不忍直视。 总之continuation似乎没有好的中文翻译，仿佛中国的计算机科学里没有continuation这个概念似的。
Continuation这个概念相当于过程式语言里的函数调用栈。 它是用于保存“现在没空处理，待会再处理的事”的数据结构。 这样说有点抽象，举个例子，函数应用那条表达式的求值过程（call-by-value）是这样： \begin{equation*}\begin{array}{lcl} eval((M \; N)) &=& eval(L[X \leftarrow eval(N)]) \\ && \text{其中} eval(M) = \lambda X.L \end{array}\end{equation*}这个过程依次做这三件事：
计算$eval(M)$，结果是$\lambda X.L$，
计算$eval(N)$，
做替换$L[X \leftarrow eval(N)]$。
解释器一次只能计算一个表达式，所以当它计算$eval(M)$前，要先把第二步和第三步要做的事备忘到continuation。
假设$M$还是个函数调用$M=(M_1 \; M_2)$。 那么，计算$eval(M)$又要分三步： 先计算$eval(M_1)=\lambda X.L_1$，第二步计算$eval(M_2)$，第三步做替换$L_1[X \leftarrow eval(M_2)]$。 解释器只能先计算$eval(M_1)=\lambda X.L_1$，将第二步计算$eval(M_2)$，第三步做替换$L_1[X \leftarrow eval(M_2)]$备忘到continuation。 于是，continuation备忘的事情按待处理的顺序依次是：
计算$eval(M_2)$，
做替换$L_1[X \leftarrow eval(M_2)]$。
计算$eval(N)$，
做替换$L[X \leftarrow eval(N)]$。
可以看到，continuation是一个FILO（先进后出）的数据结构，也就是栈。
在之前的解释器里并没有提到continuation，但是解释器仍然能正常工作， 这是因为解释这个解释器的解释器——Racket解释器——帮我们管理了continuation。 这一节的目标是自己管理continuation。
从一个简单的递归函数做起先说一个概念：尾调用。 假设一个函数体中有一句函数调用表达式$(f \; n)$，这个函数调用被称为尾调用，如果这条表达式是函数体里最后求值的表达式。 如$\lambda n.(f \; n)$，和$\lambda n.({if} \; ({iszero} \; n) \; 0 \; (f \; n))$中的$(f \; n)$都是尾调用。 而$\lambda n.(+ \; 1 \; (f \; n))$中的$(f \; n)$不是尾调用，因为计算完$(f \; n)$后还要再算个加法。 一个简单的判断是否尾调用的方法是看这条调用表达式是不是不在一个参数位置（let表达式和if表达式先做宏展开）。
学过C或者C++都知道，调用函数的时候是要保存信息到函数调用栈的（我上学时学的这俩，不知道其他语言的课上会不会讲函数调用栈）。 尾调用的特点是：尾调用理论上不需要保存信息到函数调用栈——实际上也不需要，但是有些语言就不支持，比如说Python。 换句话说，尾调用不会导致continuation增长。 这个很好理解，因为尾调用是最后求值的表达式了，不需要备忘后面要做的事（后面没有事了），所以也就不会导致continuation增长。 后面会从continuation的角度说明为什么尾调用不会令continuation增长。
题外话： 刚才提到“理论上”和“实际上”。 经常能听到这种句式：理论上怎么怎么，可惜，实际上是吧啦吧啦。 其中“吧啦吧啦”是一句对“怎么怎么”的否定。 我觉得这是反科学以及读书无用论的潜意识在作祟，另外有时候是用来逃避责任的借口。 理论上怎么样，实际上就应该怎么样。 如果有套理论的结论和现实的结果不同，那么这就不能称为理论，最多算个猜想，而且是个错误的猜想。
如果一个尾调用是一个递归调用，那么就称为尾递归。 尾递归又叫迭代。 我们现在要做的事其实就是把一个递归程序（之前写的解释器）中的非尾递归全改成尾递归， 也就是递归转迭代。
为了熟悉递归转迭代的套路，先拿一个简单的递归函数练练手。 这个函数就是之前用到的double函数： \begin{equation*}\begin{array}{lcl} double(0) &=& 0 \\ double(n) &=& 2 + double(n-1), \text{其中} n \neq 0 \end{array}\end{equation*} 计算double函数的过程有一个状态量：当前计算的表达式$double(n)$或者一个数字$n$（计算结果）。 现在加入另一个状态量continuation，记为$\kappa$（因为continuation第一个字母c发音k，所以用了个长的像k的希腊字母……）。 计算double函数的过程只有第二行是递归过程，备忘的事是加2。 $\kappa$定义为： \begin{equation*}\begin{array}{lcl} \kappa &=& {mt} \\ &|& \left<\kappa, +2\right> \end{array}\end{equation*} mt表示空的continuation，也就是说没有后续的事情了。