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

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

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

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

Но нам приходится в голове держать ту же информацию, что и компилятор держит в памяти. Что и где было.

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

AVK>и код автоматом становится корректным даже без средств автоматизации.

А раньше это решали с помощью грамотного проектирования AbstractFabric, Builder, etc =)))