ignitae Academy

Advanced types

Conditional types, key remapping, recursion, variadic tuples and brands — types computed from types, verified by the compiler.

Syllabus

Conditional types and infer

A conditional type is a type-level if; infer is a type-level capture
Conditional types and infer (exercise)

Mapped types and key remapping

Remap the keys with `as` to filter or rename a shape
Mapped types and key remapping (exercise)

Recursive types

A type can recurse into the shape it describes
Recursive types (exercise)

Variadic tuples

Tuples spread, concat and infer just like arrays
Variadic tuples (exercise)

Branded types

A brand makes two otherwise-equal types no longer interchangeable
Branded types (exercise)