Into The Unknown
summary
Library implements two functions freeze and thaw and claims compile‑time and runtime safety: inputs use unknown vs any plus a type guard/assertion that throws, never to rule out unfreezable objects, generics and intersection types to produce a Frozen<T>, and a conditional infer in conditional types to extract the original T for thaw. The library is built and used end‑to‑end — Olaf gets frozen then thawed — so the approach demonstrably works.
AI-written summary · about
chapters (14)
- 0:00Welcome
- 1:56Reindeer’s magical idea
- 4:31Freeze and thaw library
- 8:05Dangers of the any type
- 12:36Unknown and type guards
- 16:11Freezable input types
- 19:46Frozen type with generics
- 22:19Testing with Kristoff
- 23:25Accidental freezing of Olaf
- 24:28Thaw function types
- 26:13Conditional type extraction
- 29:45Saving Olaf with inference
- 31:08Reflecting on adventure
- 33:58Q&A
