Paella: algebraic effects with parameters and their handlers
summary
Library implements algebraic effects as computation trees indexed by worlds, claiming handlers that safely support dynamically allocated full ground reference cells and updatable continuations. Implementation lives in Idris 2 and uses Kripke-style families with box coalgebras to express actions, a product/exponential of families to let continuations run in any future world, and a tree monad plus folds as handlers. Demo shows working local-state effect and outlines a T arin Slater transform and threading use cases.
AI-written summary · about
chapters (7)
- 0:00Paella and algebraic effects
- 1:25Computation trees and handlers
- 8:30Parameterized effects examples
- 13:04Cryptolike semantics and worlds
- 22:07Core types and tree actions
- 23:52Conclusion and future
- 26:21Q&A
related talks
33mRethinking Effects with Effect Systems
31mAbstract nonsense
44mEffects, Algebraically yours ..
33mExtensible Effects: A Leaner Cake for Purely Functional Code
46mFunctional effects in perspective
26mYo Dawg, Heard You Want To FlatMap Your Direct-Style
32mExperience Report: Graph Rewriting with Lexical Effect Handlers
01h 06mThe Evolution of Effects