Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Fri 28 Aug 2020 12:30 - 13:00 at Haskell - Paper Session 4 - Effects Chair(s): Pierre-Evariste Dagand

Algebraic effect handlers offer an alternative to monads to incorporate effects in Haskell. In recent work Xie et al. show how to give semantics to effect handlers in terms of plain polymorphic lambda calculus through evidence translation. Besides giving precise semantics, this translation also allows for potentially more efficient implementations. Here we present the first implementation of this technique as a library for effect handlers in Haskell. We show how the design naturally leads to a concise effect interface and how evidence translation enables evaluating tail resumptive operations in-place. We give detailed benchmark results where our library performs well with respect to other approaches.

Fri 28 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

11:30 - 13:00: Paper Session 4 - EffectsHaskell at Haskell
Chair(s): Pierre-Evariste DagandLIP6/CNRS
11:30 - 12:00
Talk
A Graded Monad for Deadlock-Free Concurrency (Functional Pearl)
Haskell
Andrej IvaškovićUniversity of Cambridge, UK, Alan MycroftUniversity of Cambridge, UK
DOI
12:00 - 12:30
Talk
Composing Effects into Tasks and Workflows
Haskell
Yves ParèsTweag I/O, France, Jean-Philippe BernardyUniversity of Gothenburg, Sweden, Richard A. EisenbergTweag I/O
DOI
12:30 - 13:00
Talk
Effect Handlers in Haskell, Evidently
Haskell
Ningning XieMicrosoft Research, USA, Daan LeijenMicrosoft Research, USA
DOI