변수, 매개변수, 반환 타입은 어떻게 어노테이션하나요?

Question

Accepted Answer

콜론 뒤에 타입을 추가합니다. TypeScript는 많은 타입을 **추론(infer)**할 수 있으므로, 명확성을 더하거나 추론이 불가능한 곳에 어노테이션합니다.

```ts
// 변수 — 보통 추론에 맡김
let count: number = 0;     // 명시적
let name = "Ann";          // string으로 추론 (어노테이션 불필요)

// 함수 매개변수 — 항상 어노테이션 (추론 불가)
function greet(name: string, times: number): string {
  return name.repeat(times);
}

// 배열과 객체
const ids: number[] = [1, 2, 3];
const user: { name: string; age: number } = { name: "Ann", age: 30 };
```

## 반환 타입: 추론할까 어노테이션할까?

```ts
function add(a: number, b: number) { return a + b; } // 반환 추론: number
function load(): Promise<User> { ... }                // 명시적 — 계약을 문서화
```

반환 타입은 추론되지만, 내보내거나 공개되는 함수에 어노테이션하는 것은 좋은 관행입니다: 의도를 문서화하고 함수 *내부*의 실수를 잡아냅니다(잘못된 것을 실수로 반환하면 오류가 호출자가 아니라 그 함수를 가리킵니다).

## 특수 사례

```ts
function log(msg: string): void {}     // 아무것도 반환하지 않음
function fail(): never { throw new Error(); } // 정상적으로 반환하지 않음
const fn: (x: number) => string = ...; // 함수 타입 어노테이션
```

## 왜 중요한가

경험칙: **함수 시그니처(매개변수와 공개 반환 타입)는 명시적으로 어노테이션하고, 지역 변수는 추론에 맡겨라.** 이렇게 하면 코드를 간결하게 유지하면서도 함수 경계의 계약을 명확하고 검사된 상태로 유지합니다.