The process of verifying and enforcing the constraints of types—type checking—may occur either at compile-time (a static check) or at run-time.
Η επαλήθευση και η εφαρμογή των περιορισμών των τύπων - έλεγχος τύπων (type checking) – μπορεί να συμβεί είτε στο χρόνο μεταγλώττισης (στατικός έλεγχος), είτε στο χρόνο εκτέλεσης (δυναμικός έλεγχος).