Questa voce o sezione sull'argomento programmazione non cita le fonti necessarie o quelle presenti sono insufficienti.
In programmazione, la tipizzazione statica è una particolare politica di tipizzazione, ovvero di assegnazione di tipi alle variabili.
Nei linguaggi a tipizzazione statica, il tipo di ogni variabile (numerico intero, numerico a virgola mobile, carattere, ecc.), viene stabilito direttamente nel codice sorgente dove viene assegnato esplicitamente per mezzo di parole chiave apposite, come ad esempio int, long, float, char, ecc…