References & Citations
Computer Science > Programming Languages
Title: Effects for Efficiency: Asymptotic Speedup with First-Class Control
(Submitted on 1 Jul 2020 (v1), last revised 13 Jul 2020 (this version, v2))
Abstract: 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 $\lambda_b$ and its extension with effect handlers $\lambda_h$. We show that $\lambda_h$ admits an asymptotically more efficient implementation of generic count than any $\lambda_b$ implementation. We also show that this efficiency gap remains when $\lambda_b$ is extended with mutable state. To our knowledge this result is the first of its kind for control operators.
Submission history
From: Daniel Hillerström [view email][v1] Wed, 1 Jul 2020 16:47:58 GMT (107kb)
[v2] Mon, 13 Jul 2020 22:05:14 GMT (109kb)
Link back to: arXiv, form interface, contact.