Jonathan Brachthäuser
ProfessorJonathan Immanuel Brachthäuser attends the Dagstuhl-Seminar on “Algebraic Effect Handlers go Mainstream” from April 22 to 27, 2018.

Abstract

Algebraic effect handlers are a program structuring paradigm with rising popularity in the functional programming language community. Effect handlers are less wide-spread in the context of imperative, object oriented languages. We present library implementations of algebraic effects in Scala and Java. Both libraries are centered around the concept of handler/capability passing and a shallow embedding of effect handlers. While the Scala library is based on a monad for multi-prompt delimited continuations, the Java library performs a CPS translation as bytecode instrumentation. We discuss design decisions and implications on extensibility and performance.

Further Information

• Slides of the talk (PDF)
• Seminar homepage
• Dagstuhl Reports
• Schloss Dagstuhl

Publications