However it should be pointed out that type inference is a compile time afair and not a runtime afair;C# did not turn dynamic because of the use of the 'var' keyword.

In the most simple cases such as with primitive data types, type inference provides a shortcut instead of explicitly denoting the type of the variable :

var a=10; #the compiler infers that a is an int

but its real value comes when having to assign the return value of an expression's evaluation to a variable and is difficult to work out the variable's type so you must cast or re-cast;cases like that occur frequently with Linq queries