ignitae Academy

TypeScript that means something

Use the type system to make wrong states unrepresentable, so the compiler fails the bug before a test has to.

Syllabus

Modelling with unions

Unions, exhaustiveness, and why boolean flags lie
Result: errors as values (exercise)
Order events: reduce to a state (exercise)

Generics that stay honest

Constraints, inference, and the lie called any
groupBy: a key the compiler checks (exercise)
pick and omit: mapped types at runtime (exercise)

Types from data

as const, satisfies, and types derived from values
Route params: types from a path string (exercise)
parseConfig: from unknown to Config (exercise)