TypeScript 7 arriva con un compilatore basato su Go che riduce i tempi di type-checking a un decimo della durata precedente e riduce l'impronta di memoria fino a un quarto, un cambiamento che si percepirà nel momento stesso in cui uno sviluppatore preme "salva" in VS Code.

La decisione di Microsoft di riscrivere il nucleo del language service in Go segue anni di lamentele sul fatto che l'incremental checker di TypeScript possa bloccarsi su grandi monorepo. Spostando il lavoro pesante — parsing e type-checking — dall'implementazione JavaScript di lunga data, il team ha sbloccato il parallelismo a livello di linguaggio e ridotto l'overhead del runtime di Node.js.

Perché la riscrittura è importante

Le moderne applicazioni web costruite con framework come Next.js o Nuxt caricano regolarmente migliaia di moduli. In tali ambienti, il tempo necessario per far emergere il primo errore di tipo può dominare il ciclo edit-compile-debug. Il nuovo compilatore riduce il tempo per trovare il primo errore in VS Code da 17,5 secondi a meno di 1,3 secondi, un incremento di velocità di 11,9× solo per quell'editor. Benchmark indipendenti da una serie di progetti confermano guadagni simili:

  • VS Code: 11,9× più veloce
  • Sentry: 8,9× più veloce
  • Bluesky: 8,7× più veloce
  • Playwright: 8,7× più veloce
  • Tldraw: 7,7× più veloce

Anche l'uso della memoria migliora. Il server TypeScript di VS Code ora consuma il 18% in meno di RAM, Bluesky registra una riduzione del 26% e Tldraw risparmia il 15%.

Questi numeri si traducono in produttività reale: uno sviluppatore che salva un file ogni pochi secondi può ora iterare dieci volte più velocemente, riducendo drasticamente l'attrito quotidiano su grandi codebase.

Nuove leve per un controllo granulare

Il compilatore Go introduce un set di flag da riga di comando che permettono ai team di adattare le prestazioni al proprio hardware e workflow:

  • Elaborazione parallela (--checkers e --builders) esegue parsing e type-checking in modo concorrente, permettendo agli utenti di bilanciare velocità e pressione sulla memoria.
  • Modalità single-threaded (--singleThreaded) semplifica il debugging e si adatta ad ambienti con scarse risorse.
  • Worker scalabili permettono ai worker di type-checking di essere scalati indipendentemente dai worker di builder, consentendo pipeline di build personalizzate.
  • Modalità watch migliorata sostituisce il vecchio scanner di file basato su Node con un file watcher in Go, eliminando le costose scansioni ricorsive di enormi alberi di node_modules.

Queste opzioni offrono alle grandi organizzazioni la possibilità di spremere prestazioni extra dalle pipeline CI senza dover stravolgere il codice esistente.

Rischi e resistenze

Riscrivere un componente core in un linguaggio diverso non è privo di controversie. Alcuni sviluppatori temono che il passaggio a Go possa introdurre nuovi bug o incompatibilità che l'implementazione JavaScript, ormai matura, ha già risolto. Il cambiamento aggiunge anche una dipendenza dal runtime di Go alla toolchain di TypeScript, il che potrebbe complicare gli ambienti strettamente legati a Node.js. Gli early adopter dovranno verificare che i propri plugin personalizzati e le estensioni del language server continuino a funzionare senza modifiche.

Cosa aspettarsi in futuro

Microsoft ha reso il compilatore basato su Go il predefinito nel rilascio pubblico, ma il vecchio motore JavaScript rimane disponibile come fallback. Monitorare i tassi di adozione nelle principali IDE e nei servizi CI indicherà se i guadagni di prestazioni superano l'attrito della migrazione. Inoltre, il feedback della community sui nuovi flag modellerà l'evoluzione del compilatore: se gli sviluppatori dovessero trovare difficili da regolare le opzioni parallele, Microsoft potrebbe introdurre dei preset di livello superiore.

In sintesi: La riscrittura in Go di TypeScript 7 offre un type-checking fino a dieci volte più veloce e un risparmio di memoria evidente, un cambiamento che potrebbe rendere lo sviluppo JavaScript su larga scala istantaneamente più reattivo, a patto che l'ecosistema si adatti senza intoppi al nuovo runtime.