Paper Info
Title
Effekt: extensible algebraic effects in Scala (short paper).
Abstract
Algebraic effects are an interesting way to structure effectful programs and offer new modularity properties. We present the Scala library Effekt, which is implemented in terms of a monad for multi-prompt delimited continuations and centered around capability passing. This makes the newly proposed feature of implicit function types a perfect fit for the syntax of our library. Basing the library design on capability passing and a polymorphic embedding of effect handlers furthermore opens up interesting dimensions of extensibility. Preliminary benchmarks comparing Effekt with an established library suggest significant speedups.
Year
DOI
Venue
2017
10.1145/3136000.3136007
SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity Vancouver BC Canada October, 2017
Keywords
Field
DocType
algebraic effects,effect handlers,continuations,implicits,capabilities,shallow embedding
Algebraic number,Scala,Embedding,Programming language,Delimited continuation,Computer science,Implicit function,Theoretical computer science,Syntax,Modularity,Monad (functional programming)
Conference
ISBN
Citations 
PageRank 
978-1-4503-5529-2
3
0.40
References 
Authors
11
2
Name
Order
Citations
PageRank
Jonathan Immanuel Brachthäuser173.18
Philipp Schuster253.15