types
TSadvanced5 ex.
Conditional types and infer
Types that branch.
TSadvanced4 ex.
Function overloads
Many faces, one body.
TSworking6 ex.
Generics, the basics
One function, every type.
TSadvanced5 ex.
Mapped types
Build types from other types.
TSadvanced5 ex.
Template literal types
String types you can compute.
TSworking5 ex.
The satisfies operator
Check the type, keep the value.
TSworking5 ex.
User-defined type guards
Teach the compiler what you already know.
TSworking5 ex.
const assertions (as const)
Freeze the value, keep the literals.
TSworking5 ex.
keyof and indexed access types
Read keys and value types straight off a type.