我读过很多关于延续的文章，我看到的一个非常常见的定义是，它返回控制状态。
我正在学习用 SML 教授的函数式编程课程。
我们的教授将延续定义为：
“跟踪我们还需要做什么” ; “让我们控制调用堆栈”
他的很多例子都围绕着树展开。在本章之前，我们进行了尾递归。我知道尾递归通过有一个额外的参数来“构建”答案，从而释放堆栈以保存递归调用的函数。反转列表将建立在一个新的累加器中，我们相应地附加到它。此外，他说一些关于函数的东西被调用（但不被评估），除非我们到达我们向后替换的末尾。他说尾递归的改进版本将使用 CPS（继续编程风格）。
有人能简单解释一下什么是延续，以及为什么它们比其他编程风格更受青睐吗？
我找到了这个帮助我的 stackoverflow 链接，但仍然没有为我阐明这个想法：
【问题讨论】：
标签： recursion functional-programming sml smlnj continuations
延续只是将“接下来发生的事情”视为第一类对象，可以无条件使用一次，忽略以支持其他内容，或多次使用。
为了说明Continuation Passing Style是什么，下面是一些正常写的表达式：
let h x = f (g x)
g 应用于x，f 应用于结果。
请注意，g 没有任何控制权。无论如何，它的结果都会传递给 f。
在 CPS 中是这样写的
let h x next = (g x (fun result -> f result next))
g 不仅有 x 作为参数，还有一个延续 g 的输出并返回最终值。该函数以同样的方式调用f，并将next作为延续。
发生了什么？是什么改变使它比f (g x) 更有用？不同之处在于现在g 处于控制之中。它可以决定是否使用接下来发生的事情。这就是延续的本质。
出现延续的一个例子是具有控制结构的命令式编程语言。 While、block、普通语句、break 和 continue 都是通过 continuation 泛化的，因为这些控制结构接受接下来发生的事情并决定如何处理它，例如我们可以有
...
while(condition1) {
statement1;
if(condition2) break;
statement2;
if(condition3) continue;
statement3;
}
return statement3;
...
while、block、statement、break 和 continue 都可以在函数模型中通过 continuation 来描述。每个构造都可以被认为是一个接受
并返回新环境。
在while循环中，根据当前环境对条件进行求值。如果它被评估为真，那么块被评估并返回新环境。返回使用新环境再次评估 while 循环的结果。如果它被评估为假，则返回评估下一条语句的结果。
使用 break 语句，我们在环境中查找 break 函数。如果没有找到函数，那么我们不在循环中，我们给出一个错误。否则，我们将当前环境赋予函数并返回评估的延续，这将是 while 循环之后的语句。
使用 continue 语句会发生同样的情况，除了继续是 while 循环。
使用 return 语句，延续将是调用当前函数之后的语句，但它会从环境中删除当前的封闭范围。
【讨论】：