타입스크립트는 두가지 타입 접근방식을 결합했습니다.

1. 데이터와 변수의 타입 명시적 정의
   • 
   • 타입스크립트에서 만든 문법
   • Type Checker 와 소통하는 방식
   • 가독성이 떨어지기 때문에 필요한 경우에만 사용합니다.
     • 필요한 경우 : 타입 추론을 못할때
     • 

2. JS처럼 변수만 생성하고 넘어감 (타입 명시적 정의 X)
   • 
   • 명시적 타입 정의 없이 변수만 생성하고 값을 할당하면 처음 할당된 값을 기준으로 타입을 추론합니다.
   • 가독성이 더 좋고 효율적이기 때문에 대부분 타입스크립트가 타입 추론하게 둡니다.

타입스크립트가 나타내주는 대부분의 에러는 타입 추론이 동작했기 때문입니다.

참조

노마드코더 타입스크립트
타입스크립트 공식문서