Funkcja niektórych języków programowania, która wymaga typu każdy element danych, które należy zgłosić, stoi na przeszkodzie stosowaniu operatorów do typów danych niewłaściwe i zapobiega interakcji elementów danych niezgodne typy.