구조분해할당시에도 알아서 추론해줌.

함수는 어떻게 추론할까?

함수 정의할 때 함수에 대한 기본 타입은 초기값이 아닌 반환값 기준으로 추론함.

• 반환값 기준

단, 함수에서 매개변수는 초기값 타입을 기준으로 추론함

• 매개변수는 초기값 타입 기준

암묵적인 any 타입 진화

const는 상수이기 때문에 초기값 자체를 리터럴로 인식.

배열은 공통값으로 추론해줌

타입 넓히기

• 타입스크립트는 웬만한 변수는 타입을 추론하고, const로 선언된 상수가 아닌 이상 넓은 범위의 타입으로 추론해줘서 범용적으로 사용할 수 있게함.