Aliasy typów dla złożonych typów

Wprowadzenie

Słowo kluczowe type

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

Nadawanie nazw typom unii

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

Nadawanie nazw typom obiektów

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

Nadawanie nazw typom krotek

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

Nadawanie nazw typom funkcji

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

Aliasy typów obsługują generyki

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

Rekurencyjne aliasy typów

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

Aliasów typów nie można ponownie otwierać

// 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

Unia dyskryminowana z aliasami typów

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

Kiedy wybrać type zamiast interface

Szybki sprawdzian

Podsumowanie