Ir līdzeklis, daži programmēšanas valodas, kas pasludina par katru datu vienumu tipa nepieciešams, nepieļauj piemērošanu operatoriem neatbilstošu datu tipi un novērš datu vienumus nesaderīgu veidu mijiedarbība.