Type-Theory on Dev & Platform Engineering Hubhttps://rhidayat.work/topics/type-theory/Recent content in Type-Theory on Dev & Platform Engineering HubHugo -- gohugo.ioen© 2026 Rachmat HidayatSun, 09 Aug 2026 11:05:00 +0000TS Ep 14: The Never Type & Exhaustive Checkshttps://rhidayat.work/series/typescript/fundamental/14-the-never-type-and-exhaustive-checks/Sun, 09 Aug 2026 11:05:00 +0000https://rhidayat.work/series/typescript/fundamental/14-the-never-type-and-exhaustive-checks/An exhaustive deep dive into TypeScript&rsquo;s bottom type (<code>never</code>). Learn how set theory models the empty set ($mptyset$), the 3 sources of &rsquo;never&rsquo; in type analysis, and how to implement compile-time exhaustiveness checking for Discriminated Unions.