Type checking

Wikipedia Il type check è un controllo durante l’assegnamento delle variabili, sul tipo del valore. Il tipo del valore deve infatti essere ammissibile per il tipo della variabile.