Μια διαδικασία στην οποία ο μεταγλωττιστής καθορίζει τον τύπο δεδομένων από μια τοπική μεταβλητή που έχει δηλωθεί χωρίς μια δήλωση τύπου δεδομένων ρητή. Ο τύπος συνάγεται από την αρχική τιμή για τη μεταβλητή.