타입 추론이 효과적으로 동작하기 위한 조건은 다음과 같습니다.

변수 초기화

변수를 선언할 때 초기 값을 할당하면 TypeScript는 초기 값으로부터 타입을 추론합니다.

let x = 10; // x의 타입은 number로 추론됨

반환 타입 추론

함수의 반환 타입이 명시되지 않았을 때, 함수의 반환 값으로부터 타입을 추론합니다.

function add(a, b) {
  return a + b; // 반환 값으로부터 TypeScript가 number 타입을 추론
}

컨텍스트에서의 타입 추론

변수나 매개변수의 타입이 상위 컨텍스트에 명시된 경우, 하위 컨텍스트에서는 해당 타입을 추론합니다.

let arr = [1, 2, 3]; // arr 배열의 타입은 number[]

타입 추론은 코드 작성을 간편하게 만들어주지만, 가독성을 높이고 버그를 줄이기 위해 명시적인 타입 선언을 하는 것이 좋습니다.

더 자세한 내용은 TypeScript 공식 문서를 참고하시기 바랍니다.