Характерна черта на някои езици за програмиране, който изисква типа на всички данни да бъдат декларирани, изключва приложението на операторите за типове неподходящи данни и предотвратява взаимодействието на елементите от данни на несъвместими типове.