Type Compose

Union vs Intersection 타입 합성 지도

Union은 가능한 값의 범위를 넓히고, Intersection은 동시에 만족해야 할 속성 요구사항을 합친다.

타입 합성이 의미를 바꾸는 방식

or / and

Union

값이 여러 타입 중 하나일 수 있어 사용 전 좁히기가 필요하다.

Intersection

여러 타입의 속성을 모두 가진 값으로 취급한다.

객체 타입

교차는 객체 속성 요구를 합칠 때 특히 자주 쓰인다.

안전 사용

union은 공통 멤버만 바로 접근할 수 있다.

Type AUnion |narrowIntersection &merged shape
합성 방식

Union과 Intersection은 집합 그림만으로 외우면 헷갈린다. 값을 쓸 때 어떤 멤버가 보이는지로 읽어야 한다.