Discriminated union nedir?

Discriminated union, her üyenin ortak bir özelliğe (discriminant) sahip olduğu ve bu özelliğin her üyede farklı bir literal değer aldığı union türüdür. Ortak alan sayesinde TypeScript, bir koşulla union'ı tek bir üyeye daraltabilir. Bu, karmaşık veri modellerini güvenli şekilde işlemeyi sağlar.

type Shape =
  | { kind: "circle"; radius: number }
  | { kind: "square"; size: number };

function area(s: Shape): number {
  if (s.kind === "circle") {
    return Math.PI * s.radius ** 2;  // circle
  }
  return s.size ** 2;  // square
}

Discriminant alanı genellikle kind, type veya tag olarak adlandırılır. Her üye bu alana kendi benzersiz literal değerini verir; örneğin "circle", "square". Koşul bu literal değeri kontrol ettiğinde TypeScript union'ı o üyeye daraltır.

type Action =
  | { type: "add"; item: string }
  | { type: "remove"; id: number };

function run(a: Action) {
  if (a.type === "add") {
    a.item;  // string
  } else {
    a.id;    // number
  }
}