Embedding continuations in procedural objects
Embedding continuations in procedural objects
复制标题
在过程对象中嵌入延续
DOI：
10.1145/29873.30392
复制
发表时间：
1987
期刊：
影响因子：
--
通讯作者：
Daniel P. Friedman
中科院分区：
文献类型：
--
作者：
C. T. Haynes;Daniel P. Friedman
如果作为一流对象可用，则可以在编程语言中提供一般控制抽象。他们将程序员从特定的控制结构中解放出来，从而提高了编程语言的可扩展性。可以通过将它们嵌入程序对象中来扩展。当调用延续对象时，该技术首先用于恢复流体环境。然后，我们考虑为安全和效率而限制延续力的技术。使用流体实现了封闭控制的动态障碍的域机制。然后将域用于在一流延续的情况下实现不明智的保护设施。最后，我们提出了两种机制，即风风和动态风，它们概括了Undind Protect。
Continuations, when available as first-class objects, provide a general control abstraction in programming languages. They liberate the programmer from specific control structures, increasing programming language extensibility. Such continuations may be extended by embedding them in procedural objects. This technique is first used to restore a fluid environment when a continuation object is invoked. We then consider techniques for constraining the power of continuations in the interest of security and efficiency. Domain mechanisms, which create dynamic barriers for enclosing control, are implemented using fluids. Domains are then used to implement an unwind-protect facility in the presence of first-class continuations. Finally, we present two mechanisms, wind-unwind and dynamic-wind, that generalize unwind-protect.