Условный тип

export type IsString<T> = T extends string ? true : false;

export const yes: IsString<"привет"> = true;
export const no: IsString<number> = false;

// @ts-expect-error
export const broken: IsString<number> = true;

Для "привет" условие выполняется, литерал строки подходит под string, и получается true. Для number не выполняется, получается false, и присвоить туда true уже нельзя.

Тип-функция

Условный тип с параметром полезно воспринимать как функцию, которая работает на этапе компиляции: принимает тип, возвращает тип. Только вызывается она через угловые скобки, а не круглые.

type IsString<T> = T extends string ? true : false;

type A = IsString

Где это используется

Сами по себе типы-проверки нужны редко. Но на условных типах построена половина встроенных утилит:

type Exclude<T, U> = T extends U ? never : T;
type Extract

Exclude и Extract фильтруют объединения: убирают или оставляют подходящие члены. Как именно они проходят по объединению, разберём в задании 23. А в следующем задании условный тип научится не только отвечать «да» или «нет», но и доставать кусок из проверяемого типа.

Условия можно вкладывать

type TypeName<T> =
  T extends string ? "string" :
  T extends number ? "number" 

Проверки идут сверху вниз, как цепочка тернарников в JavaScript.