Modular Higher-Order Effects
summary
An implementation in Haskell called the effective library provides modular higher-order effects: it implements algebraic and scoped (higher-order) operations like catch and once, models handlers as instances of algebraic theories, and uses families of algebras parameterized by algebras to give denotations for non‑algebraic ops. The library supports handler fusion so multiple handlers compose into a single traversal (reducing passes), plugs into primitive IO and the monad‑transformer ecosystem, and demonstrates working examples that recover modularity for scoped effects.
AI-written summary · about
chapters (8)
- 0:00Modular higher-order effects
- 3:07Effects and side effects
- 10:57Denotational semantics to monads
- 17:12Syntactic modularity origins
- 25:13Semantic modularity theories
- 33:44Higher-order effects challenges
- 44:25Research insights
- 45:30Q&A
related talks
57mSums, Products, Exponents, Monoids, Functors, Oh My!
39mCode by Shape
55m20000 Leagues under the FreeMonads Coproducts & purely functional DI
59mUI as Warm as a Baked Potato
44mTyped Design Patterns for the Functional Era
47mVariable Monitoring with Declarative Interfaces
45mDesign Patterns in Scala
16mClojure vs Design Patterns