Функція деяких мов програмування, яка вимагає тип кожного елемента даних повинні бути оголошені, виключає застосування операторів для типів даних недоречним і заважає взаємодії елементів даних несумісних типів.