Un linguaggio di programmazione che richiede la definizione di una variabile e la variabile. Ad esempio, C è un linguaggio fortemente tipizzato, quando dichiari la variabile devi anche specificare il tipo di variabile. Nell'esempio seguente, la variabile di test viene dichiarata come un numero intero nella prima riga, la seconda riga come un punto variabile e la terza riga o carattere.

 test int = 25; float test = 2.3; char test = 'e'; 

L'opposto di un linguaggio fortemente tipizzato è un linguaggio vagamente tipizzato, come Perl.

Linguaggio generico, termini di programmazione