.png){kind=icon}
返回
Dynamic Wind for Effect Handlers
.png){kind=icon}
PRE
AI
DOI：10.1145/3763155.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
效果处理器提供了一种抽象效果计算的有吸引力的方法。此外，具有效果处理器的语言通常静态跟踪效果，这确保用户了解程序不同部分可能产生的所有副作用。与异常处理器类似，效果处理器通过局部定义其行为来处理效果。与异常处理器不同，它们允许恢复计算，可能稍后或可能多次。在本文中，我们提出了一种动态缠绕变体的设计、形式化与实现，该变体与词法效果处理器良好集成。在存在任意控制效果和任意位置的情况下，它具有明确定义的语义。具体而言，在序言或后序言中捕获和恢复续延的行为是明确定义的，并且尊重资源括号约定。我们演示了如何使用这些特性来表达外部状态回溯和外部资源终结。
Keyword:
control flow
lexical effect handlers
resource management
finalization
continuations
multiple resumption
effect systems
capabilities
期刊
P
IF:
2.8
论文数:
308
被引数:
4.7K
.png){kind=icon}
查看更多内容