Псевдонимы типов для сложных типов

Добро пожаловать

Ключевое слово type

type UserId = number;
type UserName = string;
type Point = { x: number; y: number };

Псевдонимы объединений типов

type StringOrNumber = string | number;
function format(val: StringOrNumber): string {
  return String(val);
}

Псевдонимы типов объектов

type Product = {
  id: number;
  name: string;
  price: number;
};
const p: Product = { id: 1, name: 'Widget', price: 9.99 };

Псевдонимы типов кортежей

type Coordinate = [number, number];
type RGB = [number, number, number];
const pos: Coordinate = [10, 20];

Псевдонимы типов функций

type Comparator<T> = (a: T, b: T) => number;
const numSort: Comparator<number> = (a, b) => a - b;

Псевдонимы типов поддерживают обобщения

type Maybe<T> = T | null | undefined;
type Pair<A, B> = { first: A; second: B };

Самоссылочные псевдонимы типов

type TreeNode = {
  value: number;
  left?: TreeNode;
  right?: TreeNode;
};

Псевдонимы типов нельзя объявить повторно

// Interface can be merged (declaration merging):
interface A { x: number; }
interface A { y: number; } // OK — A now has x and y

// Type alias cannot:
type B = { x: number };
// type B = { y: number }; // Error: duplicate identifier

Дискриминированные объединения с псевдонимами типов

type Success = { kind: 'success'; data: string };
type Failure = { kind: 'failure'; error: Error };
type Result = Success | Failure;

Когда предпочесть тип интерфейсу

Быстрая проверка

Итоги