定界延续和未定界延续之间的区别

Question

我猜delimited 和undelimited 延续之间的区别就像call 和jump 之间的区别。

如果我们调用delimited continuation，它将在完成后返回给调用者。如果我们调用undelimited continuation，它就像goto 一样工作，并且永远不会返回给调用者。

这有意义吗？我错过了什么吗？

Answer 1

你有点跑题了。任何一种风格的延续都与goto（跳跃）无关。然而，它们与堆栈有关。

---

经典延续

请记住，常规延续将控制堆栈的概念捕获为第一类值。堆栈可以被命名，作为参数传递，并且可以将值应用于它们，从而产生控制流的变化，通过callCC 使用基于函数应用程序的简单 API。

定界延续

delimited 延续添加了什么？

回想一下，常规延续会捕获整个调用堆栈直到某个点。如果我们可以在其中放置标记来准确说明要在延续中捕获多少控制堆栈呢？控制堆栈的一种“定界”。

这就是想法，现在您有了超酷的定界延续：定界、捕获和操作程序的任意部分，作为一个值。非常适合恢复和增量处理，以及其他复杂形式的控制流。

参考文献

• 常规，"undelimited" continuations.
• Delimited continuations.
• Oleg 在delimited control 上的论文
• PFPL，第 33 章。

注意事项

来自Oleg Kiselyov 的一些更正，已从列表中收到：

• 延续和跳转密切相关，延续的第一个发现是在试图理解跳转或 goto 语义的背景下。 Landin 的J 运算符正是为此目的而引入的； J 是 call/cc 的前导。见An Introduction to Landin’s “A Generalization of Jumps and Labels”
• 进一步阅读 undelimited, "regular" continuations，在“Undelimited continuations are co-values rather than functions”及其基础。

Answer 2

作为语言特性的延续（与作为编程模式的延续相反）是控制上下文（“堆栈”）（部分）的具体化。正如唐所说，未定界的延续代表整个上下文，而定界的延续只代表其中的一部分。

通常，捕获未定界的延续（例如，使用call/cc）不会更改控制上下文；控制上下文只有在调用延续时才会改变（即反映到堆栈上）。

通常情况下，捕获一个带分隔符的延续（例如，shift）会立即中止控制上下文的段，直到最近的分隔符（例如，reset）并将其具体化为似乎是一个普通的旧函数（尽管它可能被实现为堆栈技巧，而不是实现普通功能）。

顺便说一句，延续有时被称为“一级跳转”，但这并不意味着它们与 jmp 指令的关系比普通函数调用更多。