Πώς προσθέτετε annotations σε μεταβλητές, παραμέτρους και τύπους επιστροφής;

Question

Accepted Answer

Προσθέτετε έναν τύπο μετά από μια άνω-κάτω τελεία. Το TypeScript μπορεί να **συμπεράνει** πολλούς τύπους, επομένως προσθέτετε annotations όπου προσθέτει σαφήνεια ή όπου η συμπερασμάτων δεν είναι δυνατή.

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

## Τύποι επιστροφής: συμπερασμάτων ή annotation;

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

Οι τύποι επιστροφής συμπεραίνονται, αλλά η προσθήκη annotation τους σε εξαγόμενες/δημόσιες συναρτήσεις είναι καλή πρακτική: τεκμηριώνει την πρόθεση και ловε σφάλματα *μέσα* στη συνάρτηση (εάν κατά λάθος επιστρέψετε κάτι λάθος, το σφάλμα δείχνει στη συνάρτηση, όχι στους καλούντες της).

## Ειδικές περιπτώσεις

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

## Γιατί έχει σημασία

Ο κανόνας του αντίχειρα: **προσθέτετε annotations σε υπογραφές συναρτήσεων (παραμέτρους και δημόσιους τύπους επιστροφής) ρητά, αφήστε τις τοπικές μεταβλητές να συμπερασθούν.** Αυτό διατηρεί τον κώδικα συνοπτικό ενώ κάνει τα συμβόλαια στα όρια συναρτήσεων σαφή και ελεγμένα.