PRACTICAL MONAD TRANSFORMERS
summary
Shows how to compose nested effects like Future[Option[User]] into a single workflow using OptionT and how Either-based errors use EitherT, with concrete Scala code and the cats/scalaz libraries. Demonstrates liftF/fromOption to normalize mismatched signatures, notes that monads do not compose generically, warns that stacking more than two transformers explodes complexity and allocations, and suggests Free/F (or Tagless Final) as a scalable alternative.
AI-written summary · about
chapters (5)
related talks
45mHOW I UNDERSTOOD MONAD TRANSFORMERS
47mMonad transformers down to earth
46mOptimusPrimeT
43mSurviving a world overflowing with effects
31mThe Eff monad, one monad to rule them all
36mAn introduction to monadic structures and functional programming
44mCAN WE FREE CONCURRENT PROGRAMMING FROM THE MONADIC STYLE
38mA roadtrip with monads: from MTL, through tagless, to BIO