Effect handlers are a powerful programming construct allowing users to define and combine computational effects, such as cooperative concurrency. Effect systems statically track the effects that a program can perform. Traditional effect systems rely on effect variables to provide modular type signatures for higher-order functions. Recent work on modal effect types (Met) reduces, and often eliminates altogether, the need for effect variables via modalities. Alas, the standard way to define a higher-order fork operation whose child process is parametric in its effects is to extend Met with effect variables. We propose a small extension to Met, based on introducing an ordering on effects in effect contexts, that enables us to define a higher-order fork operation whose child process is parametric in its effects, without the need for any effect variables at all.
Mon 24 AugDisplayed time zone: Eastern Time (US & Canada) change
09:00 - 10:30 | |||
09:00 30mTalk | Teaching Effect Handlers in the WildFPW (Paris)Remote HOPE Jiří Beneš University of Tübingen | ||
09:30 30mTalk | Experience Report: Graph Rewriting with Lexical Effect HandlersFPW (Paris)Remote HOPE Marvin Borner University of Tübingen | ||
10:00 30mTalk | 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 | ||