De taal waarin het type van elke variabele, uitdrukking of functie wordt gedefinieerd vóór compilatie of tijdens uitvoering, en de compiler of runtime-omgeving strikt controleren op typeconformiteit tijdens operaties. Dit voorkomt fouten gerelateerd aan type-incompatibiliteit in eerdere ontwikkelingsfasen.

Vorige Volgende