Proces, w którym kompilatora określa typ danych zmiennej lokalnej, która została zadeklarowana bez deklaracja typu danych. Typ jest wywnioskować z początkowa wartość zmiennej.