عملية يقوم فيها المحول البرمجي يستنتج نوع متغير محلي هو تعريفها باستخدام الكلمة الأساسية var في C# أو بدون شرط كما في Visual Basic. المحول البرمجي يستنتج نوع المتغير من نوع تعبير مهيئ.