Engrain by ByteRush

TS.07 3 concepts

Type-level programming

Type-level fluency: recursive types, tuples, brands and type tests.

  1. TS.07.01Recursive typesSeniorBeing written
  2. TS.07.02Tuples and variadic tuple typesSeniorBeing written
  3. TS.07.03Branded types and nominal patternsMid-levelBeing written

Practice rooms

  • Type tests and type challenges workshop15 challenges (rung 3–4)

Interview questions in this module

  1. Write a DeepReadonly<T> type.
  2. Create a type for all dot-separated paths of an object.
  3. What is a branded type and why would you use one?
  4. How do you test types?
  5. Type a pipe function with any number of steps (or explain why it is hard).