Mon 24 Aug 2026 09:30 - 10:00 at IP137 Kelley - Morning Session 1

This talk aims to make lexical effect handlers concrete by showing how they can be used in a real application. Rather than treating effect handlers as a purely theoretical concept, we present them as a practical tool for structuring programs by showcasing the experience of actually working with a language with lexical effect handlers, Effekt. Effect-based interfaces allow otherwise pure functions to express the operations they need, while keeping the implementation of those operations separate. This leads to code that is easier to understand, test, and maintain. We showcase this effect-directed programming using a web implementation for a graph-based programming language as example. This web application includes a parser for a source language, various intermediate languages, a graph representation, graph reduction, and graph rendering using a force-directed, animated layout. All of this is implemented as compact, self-contained libraries that interact with each other via effectful interfaces. With this, we show that even a research language such as Effekt can support a large-scale, complex web application, and that effect handlers can scale beyond small examples.

Mon 24 Aug

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Morning Session 1HOPE at IP137 Kelley
09:00
30m
Talk
Teaching Effect Handlers in the WildFPW (Paris)Remote
HOPE
Jiří Beneš University of Tübingen
09:30
30m
Talk
Experience Report: Graph Rewriting with Lexical Effect HandlersFPW (Paris)Remote
HOPE
Marvin Borner University of Tübingen
10:00
30m
Talk
Higher-order fork, modallyFPW (Paris)Remote
HOPE
Aghilas Boussaa École normale supérieure - PSL, Wenhao Tang The University of Edinburgh, Sam Lindley University of Edinburgh