Kif tgħodd annotazzjonijiet għal varjabbli, parametri u tipi ta' ritorn?

Question

Accepted Answer

Inti żżid tip wara kolon. TypeScript jista' **jiġbor** ħafna tipi, għalhekk inti tgħodd annotazzjonijiet fejn dak iżżid ċarezza jew fejn il-konklużjoni mhix possibbli.

```ts
// variables — usually let inference work
let count: number = 0;     // explicit
let name = "Ann";          // inferred as string (annotation redundant)

// function parameters — always annotate (can't be inferred)
function greet(name: string, times: number): string {
  return name.repeat(times);
}

// arrays and objects
const ids: number[] = [1, 2, 3];
const user: { name: string; age: number } = { name: "Ann", age: 30 };
```

## Tipi ta' ritorn: konklużjoni jew annotazzjoni?

```ts
function add(a: number, b: number) { return a + b; } // inferred return: number
function load(): Promise<User> { ... }                // explicit — documents the contract
```

Tipi ta' ritorn huma mkoncluzi, iżda l-annotazzjoni tagħhom fuq il-funzjonijiet esportati/pubbliċi hija prattika tajba: din tedokumenta l-għan u taqbad l-iżbalji *ġewwa* il-funzjoni (jekk akċidentalment tirritorna ħaġa ta' żbalji, l-iżball jipponta lejn il-funzjoni, mhux il-kaller tagħha).

## Każi speċjali

```ts
function log(msg: string): void {}     // returns nothing
function fail(): never { throw new Error(); } // never returns normally
const fn: (x: number) => string = ...; // function type annotation
```

## Għaliex dan hu importanti

Ir-regola tal-kalkolu: **agħti annotazzjonijiet fuq il-firma tal-funzjoni (parametri u tipi ta' ritorn pubbliċi) b'mod ċar, ħalli l-varjabbli lokali jiġu mkoncluzi.** Dan iżżomm il-kod konċiż filwaqt li jagħmel il-kuntratti fuq il-fruntieri tal-funzjoni ċari u verifikati.