Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects

on YouTube ↗17m

" summary

Presents Hefty algebras that elaborate higher‑order operations into primitive algebraic effects while preserving modularity so handlers can be swapped without recompiling. Uses data types à la carte and the free monad, composes per‑effect elaboration algebras in one step, and ships a simple Haskell embedding in the artifact. Encodes catch, sensor, local and push‑value patterns, proves semantic equivalences, and matches the expressiveness of prior handler systems.

AI-written summary · about

" chapters (12)

1. 0:00Intro
2. 0:12Algebraic Effects An increasingly popular approach to modular programming with effects
3. 0:41Algebraic Effects and Handlers Modularity properties
4. 2:51Algebraic Effects and Handlers - Key Ideas Effects are interfaces; programs can freely use operations from different interfaces
5. 4:27Algebraic Effects and Handlers - Key Ideas Effect handlers are interface implementations
6. 6:40Algebraic Effects and Handlers - Key Ideas Program behavior can be changed by changing interface implementations
7. 9:27Traditional Workaround Elaborate higher-order operations into more primitive effects and handlers
8. 10:24Solution: Modular Elaboration of Higher-Order Effects
9. 12:26Modular Elaboration of Higher-Order Effects Higher-order effects are interfaces
10. 13:32Modular Elaboration of Higher-Order Effects Elaborations are implementations of heft interfaces
11. 14:55Modular Elaboration of Higher-Order Effects Program behavior can be changed by changing interface implementations
12. 16:36Hefty Algebras Modular Elaboration of Higher-Order Algebraic Effects

" related talks

• 54mRevisiting the Evolution of Effects (Invited Talk)Nicolas Wu · PEPM 2026
• 22mAlgebraic Effects Meet Hoare Logic in Cubical AgdaDonnacha Oisín Kidney, Zhixuan Yang, Nicolas Wu · POPL 2024
• 15mLatent Effects for Reusable Language ComponentsTom Schrijvers, Casper Bach Poulsen, Nicolas Wu, Birthe van den Berg · APLAS 2021
• 15mEfficient Compilation of Algebraic Effect HandlersFilip Koprivec, Matija Pretnar, Tom Schrijvers, Georgios Karachalias · OOPSLA 2021
• 15mEffect Handlers, EvidentlyNingning Xie, Jonathan Immanuel Brachthäuser, Philipp Schuster, Daniel Hillerström · ICFP 2020
• 14mAdequacy for Algebraic Effects RevisitedAlex Kavvos · OOPSLA 2025
• 22mType-Safe Code Generation With Algebraic Effects and HandlersYukiyoshi Kameyama, Kanaru Isoda, Ayato Yokoyama · GPCE 2024
• 22mHigher-Order Model Checking of Effect-Handling Programs with Answer-Type ModificationTaro Sekiyama, Hiroshi Unno · OOPSLA 2024