controllo di tipo

Il controllo di tipo avviene in fase di verifica di un programma prima dell'esecuzione. In questo modo vengono verificati i valori e la sintassi dei tipi di dati. Lo scopo principale di un sistema di tipi in un linguaggio di programmazione è ridurre la probabilità di bug dovuti ad errori di tipizzazione.