타입 추론(Type Inference) 이란?

타입 추론 은 타입스크립트가 코드를 해석해 나가는 동작을 의미한다.

타입 추론의 기본

  
let a = "abc";

위에 a 는 string 으로 간주된다. 이렇게 변수를 선언하거나 초기화할 때 타입이 추론된다.
이외에도 변수, 속성, 인자의 기본 값, 함수의 반환 값 등을 설정할 대 타입 추론이 일어난다.

타입은 보통 몇 개의 표현식(코드)을 바탕으로 타입을 추론한다.
이 표현식을 이용하여 가장 근접한 타입을 추론하게 되는데, 이 가장 근접한 타입을 Best Common Type 이라고 한다.

  
let arr = [1, "a", true];

이 배열은 number, string, boolean 으로 구분되는데, Best Common Type 알고리즘으로 다른 타입글과 가장 잘 호환되는 타입을 선정한다.

VSCode에는 타입스크립트를 지원하는 Language Server가 탑재되어 있다.

Language Server가 돌아가고 있다는 것만 알고있자

Reference

[캡틴판교 TS] 타입스크립트 입문 - 기초부터 실전까지
타입스크립트 핸드북

본 포스팅은 캡틴판교 강사님의 타입스크립트 입문 - 기초부터 실전까지 강의를 수강하고 난 후, 본인의 주관적인 견해에 의하여 작성되었습니다.