Che cos'è l'inferenza dei tipi?

L'inferenza dei tipi è una funzionalità di TypeScript che determina automaticamente il tipo di una variabile o di un'espressione in base al relativo valore.

Ad esempio, quando si scrive let age = 25;, TypeScript deduce che age è di tipo number.

Vantaggi dell'inferenza dei tipi

L'inferenza dei tipi riduce la necessità di dichiarare esplicitamente i tipi, rendendo il codice più pulito e semplice da scrivere.

Inoltre, aiuta TypeScript a rilevare gli errori durante lo sviluppo, garantendo la sicurezza dei tipi senza aggiungere annotazioni superflue.

Esempi di inferenza dei tipi

Ecco alcuni esempi: 

• let message = 'Hello'; - TypeScript deduce che il tipo è string. 
• const isActive = true; - TypeScript deduce che il tipo è boolean.

L'inferenza dei tipi funziona anche con i valori restituiti dalle funzioni:

function add(a: number, b: number) {
  return a + b;
}

Che cos'è la tipizzazione contestuale?

La tipizzazione contestuale si verifica quando TypeScript assegna un tipo a una variabile in base al contesto circostante.

Ad esempio, quando si utilizza un event listener, TypeScript deduce il tipo del parametro event:

document.addEventListener('click', (event) => {
  console.log(event.clientX); // TypeScript knows event is a MouseEvent
});

document.addEventListener('click', (event) => {
  console.log(event.clientX);
});

Vantaggi della tipizzazione contestuale

La tipizzazione contestuale migliora l'esperienza di sviluppo riducendo la necessità di annotazioni manuali dei tipi.

Aiuta a rilevare gli errori e garantisce l'utilizzo dei tipi corretti in contesti specifici.

Scenari comuni per l'inferenza dei tipi

TypeScript esegue l'inferenza in molte situazioni, ad esempio:

• Inizializzazione di variabili: let name = 'John';
• Valori restituiti dalle funzioni: function greet() { return 'Hello'; }
• Valori degli array: let numbers = [1, 2, 3]; (dedotto come number[]).

Quando utilizzare i tipi espliciti

Sebbene l'inferenza dei tipi di TypeScript sia potente, in alcuni casi è preferibile specificare esplicitamente i tipi:

• Quando il tipo è ambiguo o complesso.
• Per i parametri delle funzioni, per garantire maggiore chiarezza.
• Per le API pubbliche, quando i tipi espliciti migliorano la leggibilità e la manutenibilità.

Esercitazione: inferenza dei tipi e tipizzazione contestuale

Scrivere una funzione che accetti due numeri in input e restituisca la relativa somma. TypeScript dedurrà i tipi automaticamente.

Esempio:

function addNumbers(a, b) {
  return a + b;
}

function addNumbers(a, b) {
  return a + b;
}

Ottimo lavoro!

Ha imparato come TypeScript utilizza l'inferenza dei tipi e la tipizzazione contestuale per rendere il codice efficiente e sicuro dal punto di vista dei tipi. Continui a esplorare le potenti funzionalità di TypeScript per migliorare le Sue competenze di programmazione.