Control delimiters and their hierarchies
Control delimiters and their hierarchies
复制标题
控制分隔符及其层次结构
DOI：
10.1007/bf01806126
复制
发表时间：
1990
期刊：
影响因子：
--
通讯作者：
M. Felleisen
中科院分区：
文献类型：
--
作者：
Dorai Sitaram;M. Felleisen
由于在许多情况下，无法进行无限制转移的控制操作员过于强大，因此我们提出了控制权分配器，作为限制控制操作并研究其在LISP和方案式语言中的使用的手段。在类似LISP的环境中，划界控制的概念为解释不同的控制结构提供了合适的术语。对于诸如方案之类的高阶语言，控制定界符是忠实地嵌入LISP控制构造并优雅地实现高级控制抽象的手段。对这些示例的更深入分析表明，需要对此类定界者进行完全控制的层次结构。我们展示了如何在控制定界符的简单版本之上实现这样的层次结构。
Since control operators for theunrestricted transfer of control are too powerful in many situations, we propose thecontrol delimiter as a means for restricting control manipulations and study its use in Lisp- and Scheme-like languages. In a Common Lisp-like setting, the concept of delimiting control provides a well-suited terminology for explaining different control constructs. For higher-order languages like Scheme, the control delimiter is the means for embedding Lisp control constructs faithfully and for realizing high-level control abstractions elegantly. A deeper analysis of the examples suggests a need for an entirecontrol hierarchy of such delimiters. We show how to implement such a hierarchy on top of the simple version of a control delimiter.