Scriptc è un compilatore pensato per trasformare il codice TypeScript in binari nativi molto compatti e veloci. A differenza degli ambienti usati più comunemente, questo strumento elimina la necessità di impiegare Node.js o il motore V8, riduce inoltre le dimensioni dei file e i tempi di avvio. Il sistema opera su tre livelli di esecuzione, privilegia la compilazione statica ma offre anche un supporto dinamico opzionale per gestire le dipendenze.
In ogni caso, gli utenti possono monitorare l'efficienza del proprio codice tramite dei rapporti di copertura che indicano quali parti richiedono un'integrazione dinamica.
Grazie ai test differenziali viene garantito che il comportamento del programma rimanga identico a quello eseguito su Node. Nello stesso modo, la sintassi standard viene mantenuta senza rinunciare ad un livello di prestazioni (e portabilità) molto elevato.
TypeScript e i vincoli di runtime
Nonostante questa nota estensione di JavaScript abbia ormai i suoi anni, TypeScript è rimasto vincolato a runtime pesanti come Node.js, Deno o Bun. Questi ambienti, anche se per molti versi si sono evoluti con il tempo, conservano l'overhead del motore V8 e dei meccanismi d'interpretazione Just-In-Time. Ecco quindi che scriptc modifica il modello di esecuzione in quanto non si propone come runtime ma come compilatore AOT (Ahead-of-Time) TypeScript-to-Native. La sua architettura rende TypeScript un linguaggio di sistema e fornisce una gestione deterministica della memoria e una prevedibilità del binario che i motori JavaScript non possono garantire.
Una volta rimossa la necessità di una Virtual Machine nell'eseguibile finale, scriptc trasforma TypeScript in uno strumento per lo sviluppo di sistemi ad alte prestazioni e mantiene comunque la compatibilità con l'ambiente Node.js.
L'Architettura a 3 Livelli
Il nucleo di scriptc risiede in un modello di esecuzione segmentato (Tiered Execution Model) che assicura trasparenza nella composizione del binario. A differenza di altri approcci che tentano delle astrazioni opache, scriptc adotta una filosofia più esplicita e permette di avere il pieno controllo sull'esecuzione.
- Tier 1 (Static): è il pilastro del compilatore. Il codice TypeScript standard, inclusi i costrutti come classi, closure, async/await e la libreria standard, viene trasformato direttamente in codice nativo. Un aspetto importante è la gestione della "superficie Node.js" (fs, path, process, http), che viene mappata nativamente senza l'ausilio di un motore JavaScript. Il risultato è un eseguibile privo di interprete.
- Tier 2 (Dynamic): un livello opzionale attivabile tramite il flag --dynamic. Integra un motore JavaScript minimale (circa 620KB) per gestire dipendenze npm fornite in JavaScript o sezioni di codice con tipizzazione any (qualsiasi tipo di dato). Ogni valore che transita dal Tier 2 al Tier 1 viene validato a runtime per preservare l'integrità del sistema statico.
- Tier 3 (Rejected): qualsiasi costrutto non supportato fallisce esplicitamente in fase di build.
Dal punto di vista della manutenzione e del debito tecnico, il Tier 3 funge da gatekeeper della validità del binario. Invece di dare il via ad un fallback silenzioso verso interpreti lenti, cosa che rappresenterebbe un rischio per le prestazioni in fase di produzione, scriptc forza lo sviluppatore a produrre del codice compilabile. Troppa rigidità? Forse, ma garantisce la prevedibilità delle performance a lungo termine e l'integrità del software.
Performance e ottimizzazione
Scriptc non si limita a migliorare le performance in quanto abilita nuovi modelli di deployment. La riduzione del binario, e l'assenza di dipendenze "pesanti", permette l'adozione di container "distroless" e viene ridotta l'eventuale superficie d'attacco.
In contesti serverless il tempo di avvio di appena 4ms consente di adottare il modello "scale-to-zero". Questo senza subire la penalità dei cold start, i ritardi che si verificano quando una funzione serverless o un'applicazione viene chiamata dopo un periodo di inattività, che sono tipici di Node.js.
Verifica differenziale in scriptc
Anche per questo progetto si è scelto di utilizzare il compilatore TypeScript ufficiale per il type-checking. Il comando scriptc coverage fornisce una reportistica granulare e identifica con dei codici di errore specifici le istruzioni che richiederebbero il motore dinamico. Questo livello di dettaglio accelera l'ottimizzazione e permette di eliminare i blocchi che impediscono una compilazione puramente statica.
Per garantire l'affidabilità, scriptc adotta una metodologia di verifica differenziale. Ogni programma in fase test viene eseguito sia su scriptc che su Node.js: l'output (stdout, stderr) e gli exit code devono corrispondere byte-per-byte. In un contesto dove non esiste più il garbage collector di V8 a mascherare gli errori, l'uso di ASan (AddressSanitizer) è vitale per garantire l'assenza di memory leak e buffer overflow. Ciò porta la sicurezza del codice TypeScript a un livello tipicamente riservato a linguaggi come C++ o Rust.
Casi d'uso
scriptc è la soluzione ideale per strumenti CLI e utility di sistema, questo grazie alla distribuzione immediata di binari singoli per macOS, Linux e Windows, senza requisiti d'installazione del runtime.
Si tratta poi di un'alternativa valida per i microservizi cloud-native, soprattutto per via dell'ottimizzazione estrema delle risorse. È utile infine segnalare i sistemi ad alta reattività, dove la velocità di startup è un requisito indispensabile per il buon funzionamento delle applicazioni.
