Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract)
summary
Claims a type system that composes directional effects with contextual effect polymorphism so handlers can give depending responses and be passed through higher-order functions. Gives a core language with first-class handlers, handler-local capabilities, and an operational semantics plus a preservation proof. Implements a compiler that targets JavaScript and C and shows examples of message-passing servers where the response type is inferred from the message id, and modular handlers remain well-typed.
AI-written summary · about
chapters (6)
- 0:00Contextual effect polymorphism
- 3:15Bidirectional effects core
- 6:44Implementation challenges
- 10:22Compiler design for effects
- 13:33Practical applications
- 15:19Summary & Q&A
related talks
15mEffects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism
15mEffect Handlers, Evidently
28mFirst-class Names for Effect Handlers
15mHandling Bidirectional Control Flow
32mHigh-Level Effect Handlers in C++
12mCompiling Effect Handlers in Capability-Passing Style
22mType-Safe Code Generation With Algebraic Effects and Handlers
14mModal Effect Types