Mõnedes programmeerimiskeeltes funktsioon, mis nõuab iga üksus tuleb deklareerida tüüp, välistab kohaldada ettevõtjate suhtes ebasobivaks andmetüüpidega ja takistab andmeüksused vastuolus tüüpi suhtluse.