Type narrowing이란 무엇이며 컴파일러는 이를 어떻게 수행하나요?

typeof x === "string"          // typeof 가드 — 원시 타입용
x instanceof Date              // instanceof — 클래스용
"role" in obj                  // in 연산자 — 프로퍼티 존재 여부
Array.isArray(x)               // 내장 가드
if (x) { ... }                  // truthiness로 null/undefined/0/""를 걸러냄
if (x === null) { ... }         // 동등성 narrowing

type Shape =
  | { kind: "circle"; r: number }
  | { kind: "square"; side: number };

function area(s: Shape) {
  switch (s.kind) {            // 판별자(discriminant)
    case "circle": return Math.PI * s.r ** 2;  // s는 circle 변형
    case "square": return s.side ** 2;          // s는 square 변형
  }
}

function isUser(x: unknown): x is User { return !!x && typeof (x as any).name === "string"; }