Type inference nasıl çalışır?

Question

Accepted Answer

**Type inference**, TypeScript'in bağlamdan türleri otomatik olarak anlaması anlamına gelir, böylece her şeyi annotate etmenize gerek kalmaz. İlk değerlerden, return ifadelerinden ve kullanımdan çıkarsama yapar.

```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 }
```

## Fonksiyonlarda ve callbacks'te Inference

```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
```

Bu **contextual typing**, callbacks'in nadiren parametre annotasyonu gerektirmesinin nedenidir — TypeScript `number[]` üzerindeki `map`'in bir `number` ilettiğini bilir.

## let vs const genişlemesi

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

`const`, hiçbir zaman değişemediği için *literal* türü çıkarsarken; `let` genel türe genişler. Bu unions için önemlidir:

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

## Yine de ne zaman annotate edilmelidir

- Fonksiyon parametreleri (çıkarılamaz).
- Çıkarımı çok geniş/dar olduğunda (örneğin literal değil `string` istiyorsunuz).
- Boş konteynerler: `const xs = []` `any[]` çıkarsarsa — `number[]` olarak annotate edin.

## Neden önemli

Inference, TypeScript kodunu JavaScript kadar kısa tutarken tamamen yazılı kalmasını sağlar.

Bunun *ne zaman* devreye girdiğini (ve ne zaman genişlediğini) anlamak, yalnızca gerçekten yardım ettiği yerlerde annotate yapmanıza izin verir.