Un proces în care compilatorul determină tipul de date al unei variabile locale, care a fost declarată fără o declaraţie explicită tip de date. Tipul se deduce din valoarea iniţială prevăzută pentru variabila.