OptimusPrimeT
summary
Scala demos use Cats (Validated, OptionT) and plain for‑comprehensions to show where monads fail and what fixes look like: parsing strings to Ints via Either/Validated demonstrates that plain Monad sequencing returns only the first error but Validated accumulates errors so both validation failures surface; Functor.compose removes nested map calls; attempting to compose arbitrary monads fails but specific cases work so the talk builds an OptionT = M[Option[A]] wrapper implemented by pattern matching and pure/flatMap and shows it composes in for‑comprehensions while Future remains non‑transformable.
AI-written summary · about
chapters (11)
- 0:00Intro
- 0:34Monad Transformers
- 2:45Error handling
- 5:41Demo
- 6:52Mona
- 9:34Functors
- 11:30Map Functions
- 19:26Validation
- 24:27Composition
- 28:19Compose
- 29:27Interlude
related talks
29mPRACTICAL MONAD TRANSFORMERS
45mHOW I UNDERSTOOD MONAD TRANSFORMERS
35mThe Functor, Applicative, Monad talk
32mA practical introduction to category theory
36mAn introduction to monadic structures and functional programming
01h 00mWhat The Functional Programming
34mEasy and Efficient Data Validation with Cats
33mFunctional Patterns and Gems in Scala