Skip to content
A
tomic
R
eps
30″
Courses
Challenges
Slack
Research
Free
Pricing
Sign In
Today's question
Today's rep
Create a workspace
Accept invitations
Sign In
Today's question
Atomic
Reps
30″
Keep the tools. Keep the speed. Sharpen the thinking.
01
Courses
02
Challenges
03
Slack
04
Research
05
Free
06
Pricing
More
The Questions
Docs
Newsletter
Support
Privacy
Terms
Security
DPA
Today's question
Sign In
← All courses
Types That Earn Their Keep
6 levels · 27 lessons
L1 · 5 lessons
Type Foundations
Reading the type system
~7 min
Literal types & widening
~6 min
The satisfies operator
~6 min
Structural typing & excess property checks
~8 min
Type Foundations · Review
~5 min
L2 · 5 lessons
Escape Hatches & Narrowing
any, unknown, and the assertion escape hatch
~7 min
Type guards
~6 min
Discriminated unions
~7 min
Exhaustiveness & never
~6 min
Escape Hatches & Narrowing · Review
~5 min
L3 · 4 lessons
Generics
Generics that earn the brackets
~7 min
Where inference comes from
~7 min
Utility types
~7 min
Generics · Review
~5 min
L4 · 5 lessons
Type Transformation
Template literal types
~7 min
Conditional types
~7 min
Mapped types & key remapping
~7 min
The infer keyword
~7 min
Type Transformation · Review
~5 min
L5 · 4 lessons
Modules & Emit
What survives to runtime
~7 min
Type-only imports & emit
~7 min
Module resolution
~7 min
Modules & Emit · Review
~5 min
L6 · 4 lessons
Declarations & The Compiler
Declaration files
~7 min
Declaration merging
~6 min
Compiler configuration
~7 min
Declarations & The Compiler · Review
~5 min
Course
Types That Earn Their Keep
The type system as a tool, not a tax.
Start free: Reading the type system