效率效应：一级控制下的渐近加速
Effects for Efficiency: Asymptotic Speedup with First-Class Control
摘要：
我们研究了定界控制的基本效率。具体来说，我们表明，效果处理程序使某一类函数的运行时复杂性的渐近改善。我们认为，通用计数问题，使用纯PCF一样的基础语言$λ_b$和它的扩展与效果处理程序$λ_h$。我们发现，$λ_h$承认一个渐进更有效的实现比任何$λ_b$实现的通用计数。我们还表明，这种效率差距仍然是$λ_b$扩展时，可变状态。据我们所知，这一结果是第一个控制运营商的同类。
英文摘要：
We study the fundamental efficiency of delimited control. Specifically, we show that effect handlers enable an asymptotic improvement in runtime complexity for a certain class of functions. We consider the generic count problem using a pure PCF-like base language $λ_b$ and its extension with effect handlers $λ_h$. We show that $λ_h$ admits an asymptotically more efficient implementation of generic count than any $λ_b$ implementation. We also show that this efficiency gap remains when $λ_b$ is extended with mutable state. To our knowledge this result is the first of its kind for control operators.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
