为什么命名为“shift”和“reset”的分隔延续原语？

Question

我想我明白（一般）什么shift和reset的意思。但是我不明白他们为什么这样命名？ shift和reset作为分隔延续原语与英语中的“移位”和“重置”单词有什么关系？

Answer 1

他们被称为是因为他们的实施方式（一般）。

从Direct Implementation of Shift and Reset in the MinCaml Compiler

引通过解读使用 延续语义的程序，我们可以把 程序的状态作为 延续堆栈。然后，reset可以是 想到作为继续 堆栈和shift捕获 延续堆栈最多 由reset创建的标记。这里是 概述的执行情况：

• 当调用reset，一个重置标记设置到堆栈
• 当调用shift(fun k -> M)，移动堆栈的一部分帧达到 最近重置标记到堆
• 当调用延续k时，将重置标记设置为堆栈并复制相关的 从栈堆栈到 栈顶。

甲重置标记被插入时k是 调用，因为捕获 在一个空的连续执行的延续。

Answer 2

因为那是方式Danvy & Filinski叫这两个运营商the first paper where they exposed that model of continuation-passing style（见here），并且它是什么斯卡拉实现。

在Scala中的实现在this other paper中描述。在其中以Danvy & Filinski基准是明确的：

在本文中，我们研究了添加控制操作员的移动和复位该语言框架，它们一起实现静态分隔延续（Danvy和Filinski 1990，1992）