Puoi spiegare cos'è una verifica del tipo (Type Guard) e come viene utilizzata in TypeScript?

Type Guard in TypeScript è un modo per precisare il tipo di una variabile durante l'esecuzione, in modo che il compilatore possa lavorare con essa in modo sicuro. Il Type Guard aiuta a evitare errori legati all'uso errato dei tipi.

Ad esempio, se hai una variabile che può essere una stringa o un numero, puoi usare un Type Guard per verificarne il tipo e eseguire le azioni corrispondenti:

function esempio(valore: string | number) {
  if (typeof valore === 'string') {
    // Qui, TypeScript sa che valore è una stringa
    console.log(valore.toUpperCase());
  } else {
    // Qui, valore è un numero
    console.log(valore.toFixed(2));
  }
}

Il Type Guard può essere implementato usando gli operatori typeof, instanceof o funzioni personalizzate che restituiscono una verifica del tipo.