Značilnost nekaterih programskih jezikov, ki zahteva vrsto vsake podatkovne postavke razglasi, nasprotuje uporabi operaterjev neprimerno podatkovne tipe in preprečuje interakcije podatkovne elemente nezdružljive vrste.