Aliases de tipos para tipos complexos

Boas-vindas

A palavra-chave type

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

Criando aliases para tipos de união

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

Criando aliases para tipos de objeto

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

Criando aliases para tipos de tupla

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

Criando aliases para tipos de função

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

Aliases de tipo podem usar genéricos

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

Aliases de tipo autorreferentes

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

Aliases de tipo não podem ser reabertos

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

União discriminada com aliases de tipos

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

Quando preferir tipo a interface

Verificação rápida

Recapitulação