ADTs For The Win!
summary
Covers concrete ADT code: shows Option and List from Scala 2.12 as sealed coproducts, models JSON as a sealed trait with specific case classes, and implements a fold as single entrypoint pattern (examples for Option and JSON) so every consumer must handle every case. Builds a full red‑black tree implementation with insert, member and a pattern‑match driven balance function that preserves invariants, and recommends use compiler warnings as errors to catch non‑exhaustive handling.
AI-written summary · about
chapters (17)
- 0:00Intro
- 0:24Noels introduction
- 1:46Agenda
- 2:24What does Wikipedia say
- 3:02Counting values
- 4:57John Pretty
- 8:57algebraic
- 11:11list
- 14:21Mark all states
- 15:51Folding
- 18:26Options
- 19:29JSON
- 20:30Why
- 23:08RedBlack Trees
- 26:59Inserting Elements
- 29:18Balancing The Tree
- 33:13Summary
