Book Of Monads: An Interview
summary
A compact overview that promises concrete takeaways: a distillation of scattered tutorials into a practical guide that explains monad transformers, how to build free monads and effect stacks, and why those designs look the way they do. Claims include runnable Scala snippets, treatment of the identity monad and the more exotic continuation monad, guidance for creating custom monads with attention to monad laws, and pragmatic limits (intuition and examples rather than full categorical proofs).
AI-written summary · about
chapters (13)
- 0:00Introduction
- 1:01About Book of Monads
- 2:30Why write on monads
- 4:39What readers learn
- 7:30Audience questions and book insights
- 9:24Monad definition
- 11:41Book structure
- 14:14Monads in Haskell and Scala
- 16:10Practical focus
- 17:00Exotic monads
- 18:43Monad transformers
- 20:18Monad laws
- 21:29Closing remarks
related talks
56mThe Making of an IO
52mA Categorical View of Adjunctions, Free Constructions, and Profunctor Optics
01h 03mKeynote: A Mathematician Muses about Macros, @Models, and ML
44mSome History of Functional Programming Languages
01mPartners Interviews – Lambda IT
49mBen Hall & Barbara Fusinska
36mModularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads
45mScala Meets GenAI - Build the Cool Stuff with LLM4S