타입을 집합으로 생각하고 타입간의 좁은 타입, 넓은 타입을 파악하다타입과 집합타입들을 정의할 때 A타입이 B타입보다 좁을지 넓을지 생각하면 대입이 되는가 안되는가 판단할 수 있다. string & number 는 never 타입이다. never는 집합으로 따지면 공집합이다. any는 전체집합이다. type A = { name: string }type B = { age: number }type C = { name: string, age: number } 타입 A, B, C 중에 어떤 것이 가장 좁은 타입일까? 답은 C이다. C가 넓은 타입이라고 생각할 수도 있는데 이렇게 생각하면 좋다. 내가 느끼기에 타입에 충족하는 조건이 더 까다롭거나 자세하면 좁은 타입이라고 생각하면 되는 거 같다. 타입 C가 되려면 ..
