이름이 다른 두 타입이 호환되는 기준은?

대상 타입이 요구하는 멤버를 소스 타입이 호환되는 형태로 갖추면 이름이나 선언 계보가 달라도 대입할 수 있다. TypeScript는 기본적으로 구조를 비교한다.

소스에 속성이 더 많아도 대입은 대체로 허용된다. 다만 새 객체 리터럴을 바로 넣을 때는 초과 속성 검사로 오타 가능성을 잡는다.

구조가 우연히 같은 식별자 타입은 서로 섞일 수 있다. 브랜드 필드를 더하면 명목적 구분을 흉내 내어 UserId와 OrderId 같은 혼용을 막을 수 있다.

타입 검사는 컴파일 시 사라진다. 외부 입력의 실제 구조는 런타임 검증이 필요하다.