Type checking in Typescript

Come abbiamo detto, il senso di avere un type system statico come quello di TypeScript si compie nel momento in cui è possibile fare una verifica in fase di compilazione (a compile time) della consistenza dei tipi dichiarati e annotati nel nostro codice; è qui che interviene il type checker.

Che cos’è il Type checker in Typescript

Il type checker in TypeScript è un particolare componente del compilatore, che si occupa di analizzare il codice sorgente per garantire che le operazioni siano conformi ai tipi definiti nel programma.

Il compito del type checker è, essenzialmente, quello di far rispettare i contratti stabiliti dalla tipizzazione di variabili, funzioni, eccetera. In tsconfig.json è possibile stabilire se il compilatore dovrebbe procedere a produrre il compilato JavaScript anche in presenza di errori sollevati dal type checker; in ogni caso, se ci sono errori di tipo, lo sapremo prima che il nostro codice sia eseguito, e potremo decidere se chiudere un occhio o meno.

Type checker di Typescript VS Javascript 

Confrontiamo brevemente le caratteristiche introdotte dal type checker di TypeScript rispetto al normale funzionamento di JavaScript: 

• in TypeScript una variabile, indipendentemente dal percorso che segue, non potrà mai vedersi assegnato un valore incompatibile con il tipo annotato in fase di dichiarazione; in JavaScript è possibile assegnare ad una variabile qualunque valore indipendentemente dal valore precedente; in TypeScript è possibile fissare il tipo degli elementi di un array, mentre in JavaScript gli array sono semplicemente elenchi di dati il cui tipo non può essere fissato;
• in TypeScript è possibile fissare la struttura di un oggetto ed essere assistiti nell’uso di tale oggetto dal nostro IDE; in JavaScript ogni oggetto è libero di avere qualunque property che abbia un nome valido, quindi nessun IDE può conoscere le property assegnate;
• in TypeScript è possibile sapere in anticipo il tipo del valore di ritorno di una funzione, quindi se questo dovesse cambiare ne saremo immediatamente informati; in JavaScript, sarà necessario scrivere dei test o dei controlli nel nostro codice per assicurarci di non introdurre errori di tipo quando modifichiamo una funzione;
• in TypeScript è possibile fissare il tipo di un parametro voluto da una funzione, sicché non sarà necessario scrivere del codice atto a verificare che i valori in ingresso abbiano senso; in JavaScript, prima di iniziare a implementare il corpo della nostra funzione, saremo quasi sempre costretti a scatenare degli errori nel caso in cui il valore introdotto sia di un tipo non sia supportato. 

Ora che abbiamo chiari gli scopi del type checker, possiamo iniziare a tipizzare il nostro codice.