La nuova sintassi del parametro di tipo const di TypeScript consente a una funzione di mantenere intatti i tipi letterali senza costringere chi la chiama a spargere as const ovunque, eliminando la fonte più comune di bug dovuti all'allargamento dei tipi (type-widening).

Il problema dell'allargamento che perseguita il codice generico

Quando una funzione generica riceve un oggetto letterale, il compilatore allarga qualsiasi proprietà letterale al suo tipo primitivo più ampio. 

function call<T>(arg: T) {}
call({ method: "GET" })   // T is inferred as { method: string }

Il letterale "GET" collassa in string. Il codice a valle che dipende dal valore esatto — come le unioni discriminate (discriminated unions) o l'estrazione di template-literal — si rompe perché il tipo non trasporta più il letterale preciso. Gli sviluppatori hanno risolto questo problema per molto tempo scrivendo { method: "GET" } as const nel punto di chiamata, il che dice al compilatore di mantenere il letterale, ma tale soluzione dipende da chi chiama la funzione e non dalla definizione della funzione stessa.

Parametri di tipo const: una soluzione a livello di firma

Il nuovo modificatore const su un parametro di tipo istruisce il compilatore a inferire il tipo più ristretto possibile per quell'argomento generico. Dichiarare una funzione come function foo<const T>(arg: T) fa sì che T si comporti automaticamente come se chi la chiama avesse scritto as const.

  • I letterali string, number e boolean mantengono i loro valori esatti ("GET" invece di string).
  • Gli array diventano tuple in sola lettura (readonly) con ogni elemento tipizzato con precisione.
  • Gli oggetti si trasformano in strutture profondamente in sola lettura, preservando i tipi letterali a ogni livello di annidamento.

Poiché il vincolo risiede nella firma della funzione, ogni chiamante ne beneficia automaticamente; dimenticare un cast non è più una via verso l'insicurezza del tipo (unsoundness).

Perché è meglio del classico trucco as const

as const è una soluzione lato chiamante. Richiede che ogni consumatore di una funzione generica si ricordi di aggiungere l'asserzione. Se si salta anche una sola chiamata, la sicurezza dei tipi evapora. Il parametro di tipo const sposta la responsabilità all'interno del design dell'API stessa: la funzione dichiara "Ho bisogno della forma più ristretta di qualunque cosa tu passi" e il compilatore lo impone.

Questo cambiamento è fondamentale per le librerie e le utility che espongono builder generici, fabbriche di configurazione o qualsiasi API in cui il valore letterale di un campo guida la logica dei tipi. L'autore della libreria può garantire un'inferenza corretta senza dover controllare il codice a valle.

Scenari reali che ne traggono vantaggio

  • Configuration builder – i nomi degli ambienti ("dev" | "prod") rimangono letterali, consentendo controlli su unioni discriminate senza cast aggiuntivi.
  • Definizioni di rotte API – le stringhe del percorso rimangono esatte, consentendo ai tipi template-literal di estrarre i parametri ("/users/:id" → \/users/${string}``).
  • Helper per macchine a stati – gli identificatori di stato rimangono letterali fissi attraverso il concatenamento dei metodi (method chaining), prevenendo disallineamenti accidentali dello stato.

In ogni caso, il parametro const elimina il boilerplate ricorrente di as const e riduce la possibilità che bug sottili sfuggano al controllo.

Abbinamento con l'operatore satisfies

L'operatore satisfies convalida che un valore sia conforme a un tipo strutturale preservando al contempo le sue informazioni letterali originali. Usarli insieme offre il meglio dei due mondi: i parametri const forniscono un'inferenza ristretta e satisfies assicura che il valore soddisfi la forma richiesta.

function makeConfig<const C>(cfg: C) {
  // cfg is inferred with exact literals
}
const cfg = {
  env: "staging",
  ports: [8080, 8443],
} satisfies { env: string; ports: number[] };
makeConfig(cfg); // works, literals stay intact

Quando mantenere as const

Il parametro const brilla quando si ha il controllo della firma della funzione. Se si lavora con funzioni di terze parti che non dispongono del modificatore, o se è necessaria una preservazione letterale una tantum per una variabile locale, as const rimane lo strumento giusto. Continua a essere il modo standard per congelare un valore senza alterare l'API chiamata.

Cosa monitorare in futuro

La funzionalità è ancora recente, quindi gli strumenti e i pattern della community si stanno evolvendo. Aspettatevi aggiornamenti al supporto degli IDE che mostreranno la nuova sintassi nell'autocompletamento e nei suggerimenti di correzione rapida (quick-fix). Tenete d'occhio i manutentori delle librerie: molti inizieranno a migrare i generici pubblici ai parametri const, il che potrebbe introdurre breaking changes per il codice che precedentemente faceva affidamento su cast espliciti as const.

In sintesi: Incorporando la preservazione dei letterali direttamente nei parametri di tipo di una funzione, i parametri di tipo const di TypeScript eliminano una fonte comune di errori di allargamento e spostano la responsabilità della sicurezza dal chiamante al progettista dell'API. Usali per qualsiasi punto di ingresso generico di tua proprietà; riserva as const per i valori locali o le API esterne.