DIL: 이펙티브 타입스크립트

스터디: 월간 CS, https://github.com/monthly-cs/2024-05-effective-typescript
작성일: 2024-05-15
작성자: dusunax

---

아이템 7: 타입이 값들의 집합이라고 생각하기 Think of Types as Sets of Values

• 런타임에 모든 변수는 고유한 값을 가짐
• ts가 오류 체크를 하는 순간에는 => 값이 아닌 타입을 가지고 있음
  • 즉, 타입 = 할당 가능한 값들의 집합 sets of values
  • 이 집합은? 타입의 범위

집합 set

• number 타입은 Number 혹은 strictNullCheck 설정에 따라 null, undefined을 포함한다
• 가장 작은 집합은 never. 아무 값도 포함하지 않는다 (공집합, empty set)

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

• 한 가지 값만 가지는 unit, literal 타입

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

• 값 집합이 둘 이상 조합된 union 타입 (합집합, union)

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

집합의 관점에서의 타입

"할당 가능한", assignable

• ~의 원소(값과 타입) member
• ~의 부분집합(타입과 타입) subset

subset

• 집합 관점에서 타입체커의 역할은 하나의 집합이 다른 집합의 부분 집합인지 확인

  // OK, {"A", "B"} is a subset of {"A", "B"}:
  const ab: AB = Math.random() < 0.5 ? "A" : "B";
  const ab12: AB12 = ab; // OK, {"A", "B"} is a subset of {"A", "B", 12}
  
  declare let twelve: AB12;
  const back: AB = twelve;
  //    ~~~~ Type 'AB12' is not assignable to type 'AB'
  //           Type '12' is not assignable to type 'AB'
  

• 실제 다루게 되는 타입은 대부분 범위가 무한대다.

  interface Identified {
    id: string;
  }
  // 어떤 객체가 string으로 할당 가능한 id 속성을 가지고 있다면? 객체는 Identified다. (구조적 타이핑)
  // excess property checking을 생각하다보면 간과하기 쉬움 (Item 11에 나올 것)
  

집합의 연산

• & 연산자는 intersection, 두 타입의 교집합을 계산한다

  interface Person {
    name: string;
  }
  interface Lifespan {
    birth: Date;
    death?: Date;
  }
  type PersonSpan = Person & Lifespan;
  // Person과 Lifespan 인터페이스는 공통으로 가지는 속성이 없다
  // 타입 연산자는 인터페이스의 속성이 아닌, 값의 집합에 적용된다. (타입의 범위에 적용된다)
  // - Person과 Lifespan을 둘 다 가지는 값은 intersection에 속하게 된다
  // - 세 가지보다 더 많은 속성을 가지는 값도 PersonSpan에 속한다.
  

• | 연산자는 두 인터페이스의 union

A와 B의 연산

type A = { a: number; b: string };
type B = { b: string; c: boolean };

type ABInteraction = A & B;
type KeysOfABInteraction = keyof ABInteraction; // "a" | "b" | "c"

type ABUnion = A | B;
type KeysOfAUnion = keyof ABUnion; // "b"

// 집합과 타입 연산

keyof (A | B) = (keyof A) & (keyof B)
//  교집합에 대한 keyof
//  A와 B의 공통 키만을 포함하는 인터섹션 타입
keyof (A & B) = (keyof A) | (keyof B)
//  합집합에 대한 keyof
//  A와 B의 모든 키를 포함하는 유니언 타입

extends

interface Vector1D {
  x: number;
}
interface Vector2D extends Vector1D {
  // Vector1D의 서브 타입이다
  y: number;
}
interface Vector3D extends Vector2D {
  // Vector2D의 서브 타입이다
  z: number;
}

• 타입의 집합이라는 관점에서 extends의 의미는 assignable(~에 할당 가능한)과 비슷하게 subset(~의 부분 집합)이라는 의미로 받아들일 수 있다.
• subtype 서브타입
  • 어떤 집합(set)이 다른 집합(set)의 부분 집합(subset)이라는 뜻
  • 클래스 관점에서는 서브클래스다.
  • 집합의 관점에서는, 상속 관계가 아니라, 벤 다이어그램으로 그리는 것이 적절

집합과 제네릭 타입, set & generic

• 제네릭 타입에서 한정자로도 쓰인다. (~의 subset)

function getKey<K extends string>(val: any, key: K) {
  // 객체 상속의 관점이라면? 객체 Wrapper 타입 String의 서브클래스를 정의하는 것이지만...
  // 집합의 관점에서 생각한다면? string의 부분 집합 범위를 가지는 타입이 된다. K & string
  // ...
}

• 할당과 상속 => 객체의 키 타입을 반환하는 keyof T

function sortBy<K extends keyof T, T>(vals: T[], key: K): T[] {
  // ...
}

• 타입이 엄격한 상속 관계가 아닐 때는 집합 스타일이 바람직하다

• 배열과 튜플의 관계

  • 숫자 배열은 숫자의 쌍은 아님
  • number[]를 [number, number]에 할당할 수 없음
  • [number, number]를 number[]에 할당할 수 있음

const list = [1, 2];
//    ^? const list: number[]
const tuple: [number, number] = list;
//    ~~~~~ Type 'number[]' is not assignable to type '[number, number]'
//          Target requires 2 element(s) but source may have fewer

• 타입이 값의 집합이라는 건? 동일한 값의 집합을 가지는 두 타입은 같다
• 의미적으로 다르고, 우연히 같은 범위더라도 같은 타입을 두 번 정의할 필요는 없다

Things to Remember

• Think of types as sets of values (the type's domain). These sets can either be finite (e.g., boolean or literal types) or infinite (e.g., number or string).
  • 타입을 값의 집합으로 이해하기. (타입의 범위)
  • 집합은 유한하거나, 무한하다
• TypeScript types form intersecting sets (a Venn diagram) rather than a strict hierarchy. Two types can overlap without either being a subtype of the other.
  • 타입스크립트 타입은 엄격한 상속 관계가 아니라, 겹쳐지는 집합으로 표현된다.
  • 두 타입은 서브타입이 아니면서도 겹쳐질 수 있다
• Remember that an object can still belong to a type even if it has additional properties that were not mentioned in the type declaration.
  • 객체에 타입 선언에 존재하지 않는 추가 속성이 있더라도, 그 타입에 속할 수 있다
• Type operations apply to a set's domain. The domain of A | B is the union of the domains of A and B.
  • 타입 연산은 집합의 범위에 적용된다.
    • A or B는 A범위와 B범위의 합집합이다.
    • A and B는 A범위이거나, B범위이다.
• Think of "extends," "assignable to," and "subtype of" as synonyms for "subset of."
  • 상속, 할당가능, 서브타입에 속함 == 부분 집합에 속함