Làm thế nào để annotate biến, tham số và kiểu trả về?

Question

Accepted Answer

Bạn thêm một kiểu sau dấu hai chấm. TypeScript có thể **infer** nhiều kiểu, nên bạn chỉ annotate ở những nơi giúp code rõ ràng hơn hoặc nơi không thể infer được.

```ts
// biến — thường để cho inference hoạt động
let count: number = 0;     // khai báo tường minh
let name = "Ann";          // được infer là string (annotation thừa)

// tham số của hàm — luôn annotate (không thể infer)
function greet(name: string, times: number): string {
  return name.repeat(times);
}

// mảng và object
const ids: number[] = [1, 2, 3];
const user: { name: string; age: number } = { name: "Ann", age: 30 };
```

## Kiểu trả về: infer hay annotate?

```ts
function add(a: number, b: number) { return a + b; } // kiểu trả về được infer: number
function load(): Promise<User> { ... }                // tường minh — ghi rõ contract
```

Kiểu trả về được infer, nhưng việc annotate cho các hàm export/public là một thói quen tốt: nó ghi rõ ý định và bắt lỗi *bên trong* hàm (nếu bạn vô tình trả về sai thứ gì đó, lỗi sẽ chỉ vào hàm chứ không phải nơi gọi hàm).

## Các trường hợp đặc biệt

```ts
function log(msg: string): void {}     // không trả về gì
function fail(): never { throw new Error(); } // không bao giờ trả về bình thường
const fn: (x: number) => string = ...; // annotation kiểu hàm
```

## Tại sao điều này quan trọng

Quy tắc chung: **annotate tường minh chữ ký hàm (tham số và kiểu trả về public), để inference lo cho biến cục bộ.** Điều này giữ code ngắn gọn trong khi vẫn làm rõ và kiểm tra các contract tại ranh giới hàm.