En funksjon i noen programmeringsspråk som krever typen hvert dataelement bli erklært utelukker anvendelsen av operatørene i upassende datatyper og hindrer samspillet av dataelementer inkompatible typer.