Yield: Mainstream Delimited Continuations
Yield: Mainstream Delimited Continuations
复制标题
产量：主流定界延续
DOI：
--
复制
发表时间：
1983
期刊：
影响因子：
--
通讯作者：
A. Sabry
中科院分区：
文献类型：
--
作者：
Roshan P. James;A. Sabry
许多主流语言都有名为Year的运算符，它们有共同的语义根源，但在细节上differ表示fi。我们给出了这些主流的Year算子的第一个已知的形式化研究，统一了它们的许多语义差异(fiff)，使它们适应于函数环境，并提取了广义Year算子的操作语义和类型理论。最终的收益率，加上它的分隔符运行，被证明是一个有定界的控制运算符，具有相当的移位-重置表达能力，并从一个转换到另一个。Year的主流变体被证明是一次性的或线性使用的限定延续的限制。这些联系可以作为一种手段，将丰富的关于定界延续的理论的思想传递给在很大程度上回避它们的主流语言。二是，现有的各种收益率操作的限制可以被视为已被主流接受的移位-重置变量，因此值得研究。
Many mainstream languages have operators named yield that share common semantic roots but di ff er significantly in their details. We present the first known formal study of these mainstream yield operators, unify their many semantic di ff erences, adapt them to a functional setting, and distill the operational semantics and type theory for a generalized yield operator. The resultant yield , with its delimiter run , turns out to be a delimited control operator of comparable expressive power to shift - reset , with translations from one to the other. The mainstream variants of yield turn out to be one-shot or linearly used restrictions of delimited continuations. These connections may serve as a means of transporting ideas from the rich theory on delimited continuations to mainstream languages which have largely shied away from them. Dually, the restrictions of the various existing yield operations may be treated as shift - reset variants that have found mainstream acceptance and thus worthy of study.