Nested conditional types in Typescript - Cheat Sheet & Quick Revision

Recall & Review

beginner

What is a nested conditional type in TypeScript?

A nested conditional type is a conditional type used inside another conditional type, allowing complex type decisions based on multiple conditions.

intermediate

Explain the syntax of a nested conditional type.

It uses the form Condition1 ? (Condition2 ? TrueType2 : FalseType2) : FalseType1, where one conditional type is inside the true or false branch of another.

beginner

Given T extends string ? (T extends "hello" ? 1 : 2) : 3, what is the type when T = "hello"?

The type is 1 because T extends string and also extends "hello".

intermediate

Why use nested conditional types instead of multiple separate conditional types?

Nested conditional types allow combining multiple checks in one type expression, making type logic more concise and expressive.

advanced

How do nested conditional types help with type inference?

They enable fine-grained type decisions based on multiple conditions, improving the accuracy of inferred types in complex scenarios.

What does a nested conditional type allow you to do?

A Make type decisions based on multiple conditions inside one type

B Write multiple unrelated types

C Only check one condition at a time

D Create runtime if-else statements

Nested conditional types let you check multiple conditions inside a single type expression.

In T extends string ? (T extends "a" ? 1 : 2) : 3, what is the result if T = number?

A 3

B 2

C 1

D Error

Since T does not extend string, the outer condition is false, so the result is 3.

Which part of a nested conditional type can contain another conditional type?

A Only the true branch

B Either the true or false branch

C Neither branch

D Only the false branch

Nested conditional types can appear in either the true or false branch of a conditional type.

What is the main benefit of nested conditional types?

A Improve performance of JavaScript

B Simplify runtime code

C Allow complex compile-time type logic

D Replace interfaces

They allow complex decisions about types during compile time, improving type safety.

Which TypeScript feature is essential to use nested conditional types?

A Modules

B Enums

C Classes

D Generics

Generics let you create flexible types that can be checked with nested conditional types.

Describe how nested conditional types work and give a simple example.

Think about how one condition can be inside another.

Explain why nested conditional types are useful in TypeScript type design.

Consider how complex type decisions are made.