올리브영, 타입스크립트로 프론트엔드 개발 생산성 향상!

타입스크립트의 타입 검사기는 코드의 타입적 모순을 찾아내기 위해 작동한다. 구체적으로, 환원주의 관점을 활용하여 복잡한 타입을 단순한 타입의 조합으로 분석한다. 따라서, 각 부분의 타입을 검사하고, 결합 과정을 통해 전체 타입의 안정성을 검증한다.

서브타입 관계는 타입스크립트에서 다형성을 구현하는 핵심 개념이다. Student 타입이 타입의 서브타입인 것처럼, 서브타입 관계를 통해 값의 대입 가능성을 정의한다. 반면, 을 통해 타입 간의 호환성을 유연하게 관리하며, 을 높인다.