The type system uses data type information to check correctness of computer programs that access or manipulate the data.
Το σύστημα τύπων χρησιμοποιεί την πληροφορία του τύπου δεδομένων για να ελέγξει την ορθότητα των προγραμμάτων τα οποία έχουν πρόσβαση ή χειρίζονται τα δεδομένα.