Funkcija, kai kurios programavimo kalbos, reikalaujama, kad kiekviena duomenų objekto deklaruoti tipą, draudžia ūkio subjektams taikyti netinkamas duomenų tipai ir apsaugo nuo duomenų elementų nesuderinamų rūšių sąveika.