Особенность некоторых языков программирования, требует тип каждого элемента данных, чтобы быть объявлены, исключает применение операторов в неподходящих типов данных и предотвращает взаимодействие элементов данных из несовместимых типов.