Een functie van sommige programmeertalen die het type van elk gegevensitem worden verklaard vereist, verzet zich tegen de toepassing van de exploitanten op ongepaste gegevenstypen en voorkomt dat de interactie van onverenigbare typen gegevensitems.