타입 추론과 문맥 기반 타이핑

타입 추론은 TypeScript가 변수나 표현식의 값을 바탕으로 해당 타입을 자동으로 결정하는 기능입니다.

예를 들어 let age = 25;라고 작성하면 TypeScript는 age의 타입이 number라고 추론합니다.

타입 추론을 사용하면 타입을 명시적으로 선언해야 하는 경우가 줄어들어 코드가 더 깔끔해지고 작성하기 쉬워집니다.

또한 TypeScript가 개발 중에 오류를 찾아내도록 도와주므로, 추가적인 타입 주석 없이도 타입 안전성을 확보할 수 있습니다.

다음은 몇 가지 예시입니다: 

• let message = 'Hello'; - TypeScript는 타입을 string으로 추론합니다. 
• const isActive = true; - TypeScript는 타입을 boolean으로 추론합니다.

타입 추론은 함수의 반환 값에도 적용됩니다:

function add(a: number, b: number) {
  return a + b;
}

문맥적 타이핑은 TypeScript가 변수를 둘러싼 문맥을 바탕으로 변수에 타입을 할당하는 방식입니다.

예를 들어 이벤트 수신기를 사용할 때 TypeScript는 event 매개변수의 타입을 추론합니다:

document.addEventListener('click', (event) => {
  console.log(event.clientX); // TypeScript knows event is a MouseEvent
});

document.addEventListener('click', (event) => {
  console.log(event.clientX);
});

문맥적 타이핑은 수동으로 타입 주석을 작성해야 하는 경우를 줄여 개발 환경을 개선합니다.

또한 오류를 찾아내고 특정 문맥에서 올바른 타입을 사용하도록 도와줍니다.

TypeScript는 다음과 같은 다양한 상황에서 타입을 추론합니다:

• 변수 초기화: let name = 'John';
• 함수 반환 값: function greet() { return 'Hello'; }
• 배열 값: let numbers = [1, 2, 3]; (number[]로 추론됩니다).

TypeScript의 타입 추론은 강력하지만, 다음과 같은 경우에는 타입을 명시하는 편이 더 좋습니다:

• 타입이 모호하거나 복잡한 경우
• 명확성을 확보해야 하는 함수 매개변수에 사용하는 경우
• 명시적 타입을 사용하면 가독성과 유지 관리성이 향상되는 공개 프로그래밍 인터페이스에 사용하는 경우

두 개의 숫자를 입력으로 받아 합계를 반환하는 함수를 작성해 보세요. TypeScript가 타입을 자동으로 추론합니다!

예시:

function addNumbers(a, b) {
  return a + b;
}

function addNumbers(a, b) {
  return a + b;
}

TypeScript가 타입 추론과 문맥적 타이핑을 사용하여 코드를 효율적이고 타입 안전하게 만드는 방법을 배웠습니다. TypeScript의 강력한 기능을 계속 탐색하여 코딩 실력을 향상해 보세요!