Как работает определение типов?

Question

Accepted Answer

**Определение типов** — это когда TypeScript автоматически выясняет типы из контекста, так что вам не нужно все аннотировать. Типы определяются из начальных значений, операторов возврата и использования.

```ts
let x = 10;          // inferred: number
let s = "hi";        // inferred: string
const arr = [1, 2];  // inferred: number[]
const obj = { a: 1, b: "x" }; // inferred: { a: number; b: string }
```

## Определение типов в функциях и обратных вызовах

```ts
function double(n: number) { return n * 2; } // return inferred as number

[1, 2, 3].map(n => n * 2); // `n` inferred as number from the array — no annotation needed
```

Этот **контекстный тип** — вот почему обратные вызовы редко нуждаются в аннотациях параметров — TypeScript знает, что `map` на `number[]` передаёт `number`.

## let vs const — расширение

```ts
let a = "hello";     // widened to string (let can be reassigned)
const b = "hello";   // narrowed to the literal type "hello"
```

`const` определяет *литеральный* тип, потому что он никогда не может измениться; `let` расширяется до общего типа. Это важно для объединений:

```ts
const dir = "up";              // type "up"
let dir2 = "up";               // type string
```

## Когда всё же аннотировать

- Параметры функций (не могут быть определены).
- Когда определение слишком широко/узко (например, вы хотите `string`, а не литерал).
- Пустые контейнеры: `const xs = []` определяется как `any[]` — аннотируйте как `number[]`.

## Почему это важно

Определение типов делает код TypeScript почти таким же кратким, как JavaScript, оставаясь полностью типизированным.

Понимание *когда* оно срабатывает (и когда расширяется) позволяет аннотировать только то, что действительно помогает.