Enciclopedia universală

Verificarea tipurilor

Verificarea tipurilor - Actiune care asigura ca tipul unei constructii din program are semnificatie in contextul in care aceasta se gaseste. De exemplu, in majoritatea limbajelor de programare, se va semnala o eroare daca se incearca adunarea unei valori intregi cu un vector. In functie de tipul limbajului, aceasta verificare se poate face in timpul compilarii, caz in care se spune ca verificarea tipurilor este statica sau in timpul executiei, caz in care se spune ca verificarea este dinamica.