Type checking
Questo articolo è uno stub, il che vuol dire che necessita di essere ampliato e corretto, secondo i canoni di Wikipedia. Se puoi, rendi anche questo articolo serio e dettagliato come dev'essere un articolo di enciclopedia, grazie.In informatica con type checking si indica l'operazione che consiste nel controllare che i valori assegnati ad una variabile siano valori ammissibili per dal suo tipo di dato.
Questa operazione è fondamentale per i linguaggi tipizzati come il C++, dove l'interpretazione del contenuto di una variabile dipende dal suo tipo. Non viene invece effettuata per i linguaggi senza tipi, dove invece è la variabile ad adattarsi al dato che le viene assegnato.
