WG211/M23Kammar

Paella: handlers for parameterised algebraic effects (Ohad Kammar)

Algebraic effects and their handlers have become more prominent in modern programming languages due to their flexibility and expressiveness in incorporating effects into their host language. Traditional algebraic effects are based on Plotkin and Power's semantics for computational effects using algebraic theories. Sam Staton designed a more expressive semantic theory called parameterised algebraic theories. These theories can account for more sophisticated effects, including: local state with cyclic references, unix-like forks, and logic programming / unification-based constraint solving. I will report about early work-in-progress implementing a library for parameterised algebraic effects and handlers.

Joint work with Cristina Matache and Jesse Sigal.