타입스크립트의 집합론

타입 호환성

초과 속성 체크

타입 추론

타입 단언

타입 좁히기