Go past annotations. Structural typing, narrowing, generics, and the type-level tools that make invalid states impossible.

COURSE · LANGUAGES
12 LESSONS

YOUR INSTRUCTOR
Daniel works on the layer where application code meets the database. He has spent years untangling type systems and query plans, usually in the same afternoon. He believes most runtime bugs are modelling mistakes that were visible earlier, and he teaches both TypeScript and Postgres from that angle.
View instructorModel your domain so the compiler rejects the combinations that should never happen.
Build reusable functions and components that keep type information instead of erasing it.
Apply conditional, mapped, and template literal types where they earn their complexity.
Validate and type the data crossing into your app, so external data stops being an any.
4 MODULES · 12 LESSONS · 1H 55M TOTAL
MODULE 01 How the Type System Thinks
The mental model underneath everything else: structural compatibility, unions, and narrowing.
3 LESSONS · 28M
MODULE 02 Generics
Writing code that keeps type information flowing through it instead of collapsing to any.
3 LESSONS · 24M
Every lesson, searchable to the second.
© 2026 BIBLION
PRIVACY · TERMS · CONTACT