Процесс, в котором компилятор определяет тип данных локальной переменной, которая была объявлена без явных данных типа декларации. Тип выводится из начального значения для переменной.