Отгремели холивары. Герои починяют копья и готовятся к будущим битвам. Ну, а я выскажусь.
На мой взгляд, Илья выступил в пользу повсеместного использования неявной типизации в C# очень мощно и сурово, но абсолютно неубедительно.
Во всяком случае, с моей точки зрения.

использование var принуждает вас более грамотно называть сами переменные.
Это прекрасное теоретическое рассуждение, которое, увы, не выдерживает проверки практикой. Нет. Не принуждает, к сожалению. На практике сентенции вида «var data = somewhere.GetResult()» встречаются с удручающей регулярностью, причём автором метода с неинформативным названием почему-то оказывается именно сторонник неявной типизации. А разбирать такой код потом вынужден кто-то другой, а как же иначе.

использование var принуждает к более качественному API
И снова: на практике, увы, не принуждает. Использование неявной типизации никак не помешает ленивому разрабочику назвать метод абы как: он сумеет его использовать, пока помнит, что этот метод делает. И память об этом, разумеется, нигде не документируется.

вы получите оптимальные типы, когда позволяете компилятору получать самому тип возвращаемого значения метода или свойства
Что, правда? Взгляните:

using (var model = new Entities())
{
    var query = model.TestTable; // Таблица из Entity Framework

    if (args.Any())
    {
        query = query.Where(t => t.Title == args[0]); // здесь видна проблема
    }

    query.OrderBy(t => t.Id);

    foreach (TestTable current in query)
    {
        Console.WriteLine("{0}: {1}", current.Id, current.Title);
    }
}

Этот код даже не скомпилируется (какая уж тут оптимальность!), пока тип переменной query не будет изменён с var на IQueryable<TestTable> или что-нибудь подобное. Да и вообще, предположение, что компилятор умнее программиста, кажется мне несколько… неудачным.

использование var принуждает к инициализации переменных при их объявлении. В общем случае, инициализация переменных при определении является хорошим тоном, а в нашем случае, компилятор обязательно требует такую инициализация при определении переменной через var;
Принуждать к хорошему тону, по идее, должен ведущий разработчик, либо (в крайнем случае) инструмент типа StyleCop, настроенный вышеупомянутым разработчиком. Но это точно не функция компилятора. Который, кстати, в большинстве случаев упадёт при использовании непроинициализированной переменной, даже если она явно типизирована.

использование var приводит к уменьшению «шума» в коде. Существует множество случаев, когда объявленные неявно переменные уменьшают количество текста, который приходится читать разработчику и который он мог бы пропустить. Если мы не используем var, то определение переменной через выражение new или cast требует указание типа дважды. Когда мы имеем дела с обобщениями (generics), то такое положение дел приведет к появлению большого количества излишнего, чрезмерного кода (redundant code). Еще одним подобным примером может стать переменная итерации в foreach для типа наподобие «Dictionary<TKey,TValue>»;
Последняя сентенция — это, пожалуй, единственное, к чему стоит прислушаться. Внутри foreach указание обобщённых типов может оказаться чрезмерным — правда, только в том случае, если тип перебираемой коллекции виден из контекста. То есть,

Dictionary listItems = Repository.GetListItems();
foreach(var item in listItems) { 
    Console.WriteLn(item.Value);
    // Мы видим тип item, а также item.Key и item.Value, 
    // так как тип коллекции задан явно и очевидно
}

var data = Repository.GetListItems();
foreach(var item in data) { 
    Console.WriteLn(item.Value);
    // Нам не виден тип data, мы только знаем, что это коллекция (наверное),
    // поэтому свойство Value представляет для нас загадку:
    // то ли это значение из словаря, то ли загадочное свойство,
    // врукопашную написанное адептом Ордена Мистических Математиков
}

использование var позволяет уменьшить использование директивы using.
Это вообще ерунда. Кому они мешают? Лежат себе в заголовочной части файла и никому не мозолят глаза. Странный аргумент, как будто никакого другого веского не нашлось. Wait, oh shi~~…