O caracteristică de unele limbaje de programare care necesită tipul de fiecare element de date pentru a fi declarate, se opune aplicării operatori pentru tipurile de date nepotrivit şi împiedică interacţiunea dintre elementele de date incompatibile tipuri.