TypeScript: cos'è e come funziona il superset tipizzato di JavaScript

Un superset che aggiunge tipi a JavaScript

TypeScript è un linguaggio di programmazione che aggiunge una sintassi per i tipi sopra JavaScript: un superset tipizzato, sviluppato da Microsoft, descritto sul sito ufficiale come un linguaggio fortemente tipizzato che si costruisce sopra JavaScript. Ogni programma JavaScript valido è anche un programma TypeScript valido: la differenza è che si possono aggiungere annotazioni di tipo opzionali, che un compilatore controlla prima dell’esecuzione. Il beneficio principale, per il sito ufficiale, è individuare errori già nell’editor, prima ancora di lanciare il codice; l’Handbook lo riassume dicendo che il vantaggio è evidenziare comportamenti inattesi, riducendo la probabilità di bug.

Esempio pratico: un’interfaccia descrive la forma di un oggetto, e un union type limita i valori ammessi.

interface User {
  name: string;
  id: number;
}
const user: User = { name: "Hayes", id: 0 };

type WindowState = "open" | "closed" | "minimized";

Se si prova ad assegnare a user.id una stringa invece di un numero, il compilatore segnala l’errore prima ancora di eseguire il codice: lo stesso controllo che, in PHP, esiste solo se si aggiungono esplicitamente i type hint alle funzioni.

Le origini, da Microsoft ad Anders Hejlsberg

TypeScript è sviluppato da Microsoft, con Anders Hejlsberg come lead architect e il contributo di Luke Hoban. Hejlsberg era già stato il progettista principale di C# in Microsoft e, in precedenza, di Turbo Pascal e Delphi. Secondo Wikipedia, il linguaggio nasce per colmare le carenze di JavaScript nella gestione di applicazioni su larga scala, sia dentro Microsoft sia tra i suoi clienti esterni: gestire codice JavaScript complesso, privo di tipi statici, richiedeva strumenti dedicati che JavaScript da solo non offriva.

Anno	Tappa
2012	Prima release pubblica, versione 0.8, il 1° ottobre
2014	TypeScript 1.0, annunciato a Microsoft Build, il 12 aprile
2016	Angular 2.0, riscritto in TypeScript fin dalla concezione, il 14 settembre
2026	TypeScript 7.0, disponibile in generale l’8 luglio, con il compilatore riscritto in Go

Le influenze dichiarate sul design del linguaggio sono C#, F#, Java e lo stesso JavaScript. TypeScript 7.0, con disponibilità generale dall’8 luglio 2026, porta il primo compilatore riscritto in Go invece che in TypeScript: secondo l’annuncio ufficiale, i build completi risultano da 8 a 12 volte più veloci rispetto alla versione 6.0, con un caso concreto, il progetto Visual Studio Code, che passa da 125,7 a 10,6 secondi — un cambiamento tecnico curioso, per un linguaggio nato proprio per aggiungere tipi a JavaScript.

Cosa fa in pratica il compilatore tsc

Il compilatore ufficiale, tsc, fa due cose distinte: il type checking, cioè verifica che i tipi usati nel codice siano coerenti, e il transpiling (o emit), cioè converte il codice TypeScript in JavaScript standard, leggibile e non offuscato, come descrive il repository ufficiale Microsoft/TypeScript. Si installa con npm install -D typescript e si lancia con tsc file.ts. I tipi, una volta controllati, vengono rimossi: a runtime, che sia nel browser, in Node.js, Deno o Bun, gira solo JavaScript puro, senza alcuna traccia dei tipi.

TypeScript usa anche l’inferenza di tipo: scrivendo let helloWorld = "Hello World", il compilatore riconosce automaticamente che helloWorld è di tipo stringa, senza bisogno di annotazioni esplicite ovunque. Il sistema di tipi è strutturale (o “duck typing”): due oggetti con la stessa forma, stessi campi e stessi tipi, sono considerati dello stesso tipo, indipendentemente dal nome dell’interfaccia con cui sono stati dichiarati. Supporta anche il narrowing: un controllo come typeof obj === "string" restringe il tipo dentro quel blocco di codice, aggiornando l’analisi durante la lettura del programma.

	JavaScript	TypeScript
Tipi	Dinamici, verificati solo mentre il programma gira	Statici e opzionali, verificati dal compilatore prima di eseguire
let x = "ciao"; x = 5;	Valido, nessun errore	Errore di compilazione
Per usarlo	Gira nativamente in ogni browser	Richiede il compilatore tsc (npm install -D typescript)
Cosa esegue davvero il motore	Il codice scritto	Il JavaScript generato da tsc, senza i tipi

Perché lo scelgono sempre più framework

Il report Octoverse 2025 di GitHub segnala che quasi ogni framework frontend principale genera progetti in TypeScript di default, citando come esempi Next.js 15, Astro 3 e SvelteKit 2. Angular, sviluppato da Google, consiglia esplicitamente l’uso di TypeScript e lo adotta fin dalla riscrittura 2.0 del 14 settembre 2016: la scelta risale alla progettazione di quel framework, non a un passaggio successivo, con un ecosistema che conta oltre 1,7 milioni di sviluppatori.

Tra i fattori indicati dal report Octoverse 2025 per la crescita di TypeScript ci sono, oltre ai framework che lo generano di default, anche la compatibilità con i flussi di lavoro assistiti dall’intelligenza artificiale: i sistemi tipizzati aiuterebbero a individuare prima, nella pipeline di sviluppo, gli errori nel codice generato da modelli linguistici, e i progetti che usano l’AI beneficerebbero di contratti di tipo più rigidi. Il report cita anche strumenti come Vite, ts-node e Bun come elementi che riducono l’attrito per chi si avvicina al linguaggio per la prima volta.

Quanto è diffuso, secondo i numeri

Ad agosto 2025 TypeScript è diventato, per la prima volta, il linguaggio più usato su GitHub per numero di contributori mensili: 2.636.006 in totale, con una crescita annua del 66,63%, superando Python di circa 42.000 contributori. Il report Octoverse 2025 definisce questo sorpasso “il cambiamento più significativo nella classifica dei linguaggi in oltre un decennio”.

Nello Stack Overflow Developer Survey 2025, invece, la metrica è diversa: lo dichiara il 43,6% degli sviluppatori, sesto posto nella classifica generale, dietro JavaScript, HTML/CSS, SQL, Python e Bash/Shell. Tra gli sviluppatori professionisti che usano strumenti di AI, la quota sale al 51,4%, la più alta tra tutti i sottogruppi misurati dal sondaggio: un segnale di correlazione tra tipizzazione statica e flussi di lavoro assistiti dall’AI, più che una causa unica dichiarata dal sondaggio stesso.

Non è tutto semplice: la curva di apprendimento

Non mancano le critiche. Su freeCodeCamp, un articolo dedicato a chi valuta se imparare TypeScript nota che usarlo “non è semplice come aprire la console del browser e iniziare a scrivere codice”: servono un compilatore, un sistema di build e un file di configurazione, tsconfig.json, che può generare errori di configurazione poco chiari per chi comincia. Arrivando da JavaScript, secondo lo stesso articolo, scrivere le annotazioni di tipo può sembrare “codice extra” che richiede tempo aggiuntivo, e la fase iniziale rallenta lo sviluppo. Una volta configurato il progetto, però, lo stesso racconto descrive un flusso di lavoro che torna scorrevole: il costo sta soprattutto nell’adozione iniziale, non nell’uso quotidiano a regime. Chi vuole vedere il tipo di ragionamento passo passo che porta a scrivere un programma corretto, tipi compresi, può confrontarlo con la logica di un qualsiasi algoritmo: anche lì, si tratta di definire in anticipo regole precise perché il risultato sia prevedibile.