Effectful
summary
Effectful presents a concrete claim: a Haskell effects library that combines Polysemy-like ergonomics with a ReaderT under the hood implementation. Code demos show composing high‑level languages (account management → authorization/authentication/CRM) into LDAP/Postgres and down to IO via interpreters, using GHC hole-driven runF and Template Haskell helpers. Benchmarks report bare IO ~9 µs, Effectful ~20–50 µs, with Deep MTL worst and Polysemy based on free monads, so the library works and is close to IO performance.
AI-written summary · about
chapters (11)
- 0:00Introduction
- 1:05Why care about effect systems
- 3:54Separating concerns in user stories
- 10:17Effect systems and composability
- 12:26Higher-level languages with Effectful
- 15:37Running programs with Effectful
- 18:02Interpreting lower-level languages
- 20:29Implementing low-level effects
- 23:01Performance comparison
- 25:07How Effectful works under the hood
- 26:11Advantages over Poly and MTL
related talks
47mIntroduction to Algebraic Effects
49mWhat is a (side) effect?
58mBlazing Fast, Pure Effects without Monads
55mLive Coding Eff in Anger
51mPragmatism, Puritanism and Functional Programming
14mEffect Handlers for Choice-Based Learning
01h 09mLatent Effects and Handlers + Automatic Differentiation via Effects and Handlers
14mAchieving High-Performance the Functional Way - A Functional Pearl on Expressing High...