En funktion i nogle programmeringssprog, der kræver slags hvert dataelement skal erklæres, er til hinder for anvendelsen af operatører på upassende datatyper og forhindrer samspillet mellem dataelementer inkompatible typer.