플레이그라운드에서 result2 변수 위에 마우스를 올려보면 타입스크립트가 타입을 무엇으로 추론하는지 알 수 있습니다.

function plus(x: number, y: number): number {
  return x + y;
}

const result1: number = plus(1, 2);
const result2 = plus(1, 2);
// const result2: number

명시적으로 타입을 부여하지 않아도 타입스크립트는 result2의 타입을 알고 있습니다. 애초에 number일 수밖에 없는 게, plus의 반환값이 number 타입이고, result2에는 그 반환값을 대입했기 때문입니다.

이런 식으로 타입스크립트는 어느 정도 변수와 반환값의 타입을 스스로 추론할 수 있습니다. 다만 매개변수에는 타입을 부여해야 합니다. 어떤 값이 들어올지 모르니까요.