타입을 집합으로 이해하기

• never: 공집합

const x: never = 12;
// Type 'number' is not assignable to type 'never'.(2322)

• unknown: 전체집합
• 리터럴타입: 원소가 1개인 집합
• 값이 T에 할당 가능: 값이 T의 원소
• T1이 T2에 할당 가능: T1이 T2의 부분집합
• T1이 T2를 상속: T1이 T2의 부분집합
• T1 | T2: T1과 T2의 합집합

type A = "A";
type B = "B";
type Twelve = 12;

type AB = "A" | "B";
type AB12 = "A" | "B" | 12;

const a: AB = "A";
const c: AB = "C";
// Type '"C"' is not assignable to type 'AB'.(2322)

• T1 & T2: T1과 T2의 교집합

interface Person {
  name: string;
}

interface Lifespan {
  birth: Date;
  death?: Date;
}

type PersonSpan = Person & Lifespan;

const ps: PersonSpan = {
  name: "Alan Turing",
  birth: new Date("1912/06/23"),
  death: new Date("1954/0607"),
};