Inference

• 타입 추론(Inference) : 어떠한 판단을 근거로 삼아 다른 판단을 이끌어 낸다.

1. 초기 된 변수

• 초기화 된 변수의 경우, 타입이 없으면 알아서 타입을 추론해준다.

let num = 12; // 처음에 데이터를 숫자 타입으로 입력
num = 'asdasd'; // 이후 입력했을 때 숫자 타입을 입력받았으므로, 타입을 입력할 필요가 없음
// 다른 타입을 입력했을때 에러 발견

1. 기본 값이 설정된 매개 변수
2. 반환 값이 확실한 함수

2번과 3번은 아래 예시 코드를 보자.

// 기본값이 지정된 매개변수 'b' + 반환 값이 확실한 함수 'add'
function add(a: number, b = 2) {
  // B는 초기화 된 변수로 인해 숫자 타입으로 추론
  return a + b; // 타입 추론을 알 수 있으니, 확실하게 알 수 있다.
}

• 따라서 우리가 타입을 직접 명시할 필요가 없이, Typescript가 알아서 타입을 판단해준다.
• 그러므로 꼭 필요한 곳에만 적어두라.

Assertions

단언 : 이 타입이 특정 타입 임을 명시한다.