Extending your HTTP library with monad transformers
summary
Shows how stacking transformers (OptionT, EitherT, Kleisli) turns an F[_] into a real HTTP DSL that compiles and runs: EitherT with Kleisli gives typed rejection handling and produces correct codes (400 for missing param, 405 for wrong method, 200 + body for success). Explains why inner monads must be Traversable (so FutureT is unsafe and not provided), and adds ContT-powered directives to implement akka-http style bidirectional routing; examples compile and work.
AI-written summary · about
chapters (7)
- 0:00Start
- 5:51Sequential Computations
- 9:45What a Monad Transformer Is
- 19:22More General Http Pipeline
- 20:34Monad Transformer over Continuations
- 25:00Non Fatal Errors
- 29:37Cats Mtl
related talks
47mMonad transformers down to earth
45mHOW I UNDERSTOOD MONAD TRANSFORMERS
24mUsing Monad Transformers without understanding them
01h 07mMonad transformers are good, actually
44mIO monad & Error management: From Exceptions to Cats MTL
38mA roadtrip with monads: from MTL, through tagless, to BIO
46mOptimusPrimeT
28mHTTP through Functional Programming