Здравствуйте, AndrewVK, Вы писали:

AVK>Здравствуйте, Pavel M., Вы писали:

PM>>Почему же?

AVK>Потому что строгую типизацию придумали для того, чтобы компилятор мог автоматически проверять соответствие контрактов, и, как следствие, контроллировать до определенной степени корректность программы. Необходимость же явно аннотировать типы — вынужденное зло. И если компилятор умеет избавлять нас от этого зла, не снижая ни на йоту уровень контроля, от этого код становится только чище и меньше содержит не относящейся непосредственно к решаемой задаче информации.

демагогия

PM>> Допустим, Вам дали код на поддержку чужой или Вы недавно пришли на проект. В море var'ов можно легко утонуть или затереть мышку до дыр

AVK>Лично мне код с var читать проще. Поэтому, когда я изучаю чужой код — первое что при этом делаю это напускаю на код решарпер, который в том числе заменяет явную аннотацию на var.
AVK>А уж если дело дошло до рефакторинга, то наличие var тем более выгодно, так как снижает количество мест, где нужно править при рефакторинге. Иногда (к сожалению, далеко не всегда) достаточно просто поменять тип в одном-двух местах, и код автоматом становится корректным даже без средств автоматизации.

так читать проще или рефакторить проще?