Chapter 04
Type-level programming
Computing types from types: conditional types andinfer, mapped types, template literal types, recursive types, and the built-in utility types.6 questions
- 010How do conditional types work, and what is distribution?Coming soonCorehard
- 020What does
inferdo? ImplementReturnTypeandAwaited.Coming soonCorehard - 030How do mapped types work, including key remapping and
+/-modifiers?Coming soonCorehard - 040What are template literal types, and what are they used for?Coming soonmedium
- 050Which built-in utility types do you use, and how would you implement them?Coming soonCoremedium
- 060How do you write a recursive type such as
DeepPartial, and what are the limits?Coming soonhard