여러 타입을 만족하는 하나의 타입, 타입 합치기(Intersection Type, union/&)

• 교차 타입(Intersection Type)은 TypeScript에서 두 개 이상의 타입을 합치는 방법으로, & 연산자를 사용하여 여러 타입을 하나로 합친다. 합쳐진 타입은 모든 타입의 특성을 가지게 된다.

• 유니온 타입(Union Type)은 | 연산자를 사용하여 여러 타입 중 하나일 수 있는 타입을 나타낸다. 이를 통해 변수에 여러 타입의 값을 할당할 수 있다.

• 타입 별칭을 사용하여 새로운 타입을 정의하고, 이를 교차 타입이나 유니온 타입에 사용할 수 있다.

• 객체 타입을 정의한 타입 별칭 두 개를 & 기호로 합칠 때 중복된 속성이 있으면, TypeScript에서는 중복된 속성 이름을 합치고 해당 속성의 값 타입을 never로 처리한다.