Ein Feature von einigen Programmiersprachen, die muss der Typ des jedes Datenelement deklariert werden, schließt die Anwendung von Operatoren auf ungeeigneter Datentypen und verhindert, dass die Interaktion von Datenelementen inkompatible Typen.