An introduction to monadic structures and functional programming
summary
Covers concrete monads and how they’re used across Scala Kotlin Swift Clojure and JavaScript, with code-level distinctions: Option/Maybe for nullable-safe chains, Try/Task for composable exception handling and lazy async (Monix Task example), Either/Validated for accumulating validation errors via applicative joins, and Future/Observable for nonblocking and stream processing with reconnection, grouping and throttle backpressure. Demonstrates flatMap vs map to avoid nested wrappers, shows a reactive websocket pipeline that reconnects and throttles messages, and explains when implementations are true monads.
AI-written summary · about
chapters (31)
- 0:00Introduction
- 0:25About me
- 1:05First experience with monadic structures
- 1:39monadic structures in modern language
- 2:36soft theory
- 3:15shell
- 4:21summary
- 4:51cool monadic properties
- 6:47data structures
- 7:40monadic functions
- 8:29lesson
- 8:40pointer exceptions
- 9:16option type
- 10:10optional
- 11:23continuation
- 14:51functor
- 15:51recursive
- 16:10flatmap
- 18:30validation
- 20:15identity moment
- 20:50future moment
- 22:07linear combination
- 24:02accretions
- 25:28promises
- 26:32Observable
- 28:14Services
- 30:06Example
- 31:43Recap
- 33:09Libraries
- 34:25Other monadic structures
- 36:06Outro
related talks
39mDemystifying Monads with Java
35mThe Functor, Applicative, Monad talk
42mMonads you already use without knowing it
59mDo or don’t There’s no try Or is there The power of monads explained Sort of
29m“Functional programming: functors and monads"
48mKotlin & Functional Programming: pick the best, skip the rest
46mOptimusPrimeT
41mArchitectures Using Functional Programming Concepts