Funkcia niektorých programovacích jazykov, ktorá vyžaduje typ jednotlivých polo iek údajov vyhlási, odporuje uplatneniu operátorov na nevhodné dátové typy a zabraňuje interakcie údajové položky nekompatibilné typy.