Proces, v němž kompilátor odvodí typ lokální proměnné, která je deklarována pomocí klíčového slova var v jazyce C# nebo bez klauzule As v jazyce Visual Basic. Kompilátor odvodí typ proměnné z typu inicializátor výrazu.