20/08/2020

Effects for Efficiency: Asymptotic Speedup with First-Class Control

Daniel Hillerström, Sam Lindley, John Longley

Keywords: effect handlers, generic search, asymptotic complexity analysis

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 λ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.

 0
 0
 0
 0
This is an embedded video. Talk and the respective paper are published at ICFP 2020 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd

Similar Papers