[how to prove it] 1장

intersection => 교집합 ∩

union => 합집합 ∪

difference => 차집합 \

숙제

1. 타입스트립트에서의 &연산자

type A = [1] & [2]; // never인 이유: type이므로 ([1] & [2])가 적용되는데, 원소의 타입이 1이면서 동시에 2일수 없기 때문에 never
type B = 1 & 2; // 타입 1과 타입 2 사이에 교집합이 없기 때문에 never
type C = {a:string} & {b:string}; // 속성에 대해서는 합집합, 타입에 대해서는 교집합이 되기 때문에 {a: string, b: string}이 된다.

• & : intersection
  • & 연산자는 타입스크립트에서 속성에 대해서는 합집합, 타입에 대해서는 교집합이 된다.
  • 왜냐면 이렇게 해야 구조적 타이핑을 할 수 있다.(duck typing) => 별개의 속성 추가가 가능해야함.
  • 리터럴은 엄격하게 체크하기 때문에 별개로 추가된 속성에 대해 경고를 함 => '잉여속성체크', 할당이 불가능한 것은 아님

2. 동영상 보기(extends, implements 차이)