Kif jaħdem l-inferenza tat-tip?

Question

Accepted Answer

**Type inference** hu TypeScript li jiscopri t-tipi awtomatikament mill-kuntest, allura m'għandekx bżonn tannotazzjoni ta' kollox. Jiscopri minn valuri inizjali, dikjarazzjonit return, u użu.

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

## L-inferenza fil-funzjonijiet u callback

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

Din **l-iskrizzjoni kontestwali** hija r-raġuni għaliex il-callback rarament jeħtieġu annottazzjonijiet ta' parametri — TypeScript jafu li `map` fuq `number[]` jgħaddi `number`.

## let vs const widening

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

`const` jiscopri t-tip *literal* minħabba li qatt ma jista' jinbidel; `let` jespandi għat-tip ġenerali. Dan huwa importanti għal unions:

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

## Meta tannotazzjoni xulxin

- Parametri tal-funzjoni (ma jistgħux jiġu skoperti).
- Meta l-inferenza hija sew wiesgħa/dirka (eż. trid `string` mhux il-literal).
- Kontenituri vojta: `const xs = []` jiscopri `any[]` — tannotazzjoni bħala `number[]`.

## Għaliex huwa importanti

L-inferenza żżomm il-kodiċi TypeScript kif jkun qrib qalb JavaScript filwaqt li jibqa' kompletament miktub.

Fhim *meta* jibda' (u meta jespandi) jippermettilek tannotazzjoni biss fejn tassistenza verament.