Jonathan Brachthäuser
AlumniJonathan Immanuel Brachthäuser presents the paper Effekt: Extensible Algebraic Effects in Scala at the Scala Symposium 2017.

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.

Further Information

• Author’s version of the short paper

• Online playground with examples of the paper

• Scala Effekt Website

• Source code

• Talk announcement on the Symposium website

Publications