All-You-Can-Eat-Types: Monad Buffet
summary
Shows how to encode Haskell/PureScript ideas in plain JavaScript: builds a lazy IO constructor that wraps console.log prompt and Math.random, implements map for lifting functions and a concrete bind that flattens F F into F, demonstrates flattening arrays with concat and composing promises, sketches monad transformers to stack IO state and error, and cites the “Escaping Hell with Monads” pattern to replace nested callbacks with do-like composition.
AI-written summary · about
chapters (10)
- 0:00Start
- 0:15Real World vs. Purity
- 4:21Lazy effects
- 11:15Types with Complications
- 12:21Derived types
- 14:00Map function
- 17:02List/Array Functor
- 17:35Composing Functors
- 28:01Monad Transformers
- 33:45Bonus: ASM monad
