Funkce některých programovacích jazyků, která vyžaduje typ každé datové položky deklarovat, brání použití operátorů na nevhodné datové typy a zabraňuje interakce datových položek nekompatibilních typů.