Здравствуйте, Константин Л., Вы писали:

КЛ>>>демагогия
AVK>>Обоснуй.
КЛ>1. Вынужденное зло — это что-то из серии личной неприязни.
КЛ>2. "...от этого код становится только чище и меньше содержит не относящейся непосредственно к решаемой задаче информации.". С каких это пор у нас типы не относятся к решаемой задаче? Только давай не будем про обобщенные алгоритмы, а про что нить из прикладной области? Ну то-есть я тебе сам приведу кучу примеров, где типы можно опустить, но это из разряда "Все крокодилы умеют летать, некоторые великаны — крокодилы. Все великаны умеют летать".

Приведи пример кода, в котором из-за замены имени типа переменной на var ты не смог бы разобраться? Или где ухудшилось бы читаемость, на твой взгляд? Я со своей стороны могу привести примеры отсюда — сильно ли улучшится читаемость примеров оттуда, если заменить var на имя типа?