Tipizzazione statica
# Tipizzazione statica

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…

## Implementazione della tipizzazione statica

L'implementazione della tipizzazione statica cambia molto da linguaggio a linguaggio, ma rimangono costanti alcune caratteristiche.

Il programma mantiene in una tabella dei valori tutte le variabili dichiarate dal programmatore, insieme al loro tipo e al valore corrente. Grazie a ciò, un tentativo di assegnamento di un valore di tipo diverso da quello di una variabile causa un errore terminale.

I linguaggi a tipizzazione statica più comuni sono Java e C/C++.

## Esempi di tipizzazione statica

Nei seguenti listati vengono mostrate le caratteristiche della tipizzazione statica nei linguaggi Java e C.

