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

КЛ>1. Вынужденное зло — это что-то из серии личной неприязни.

Все подобные домыслы идут в лес, бо неумелая демагогия (переход на личности). Почему? Потому что я точно так же могу начать рассуждать о твоей личной неприязни к var.

КЛ>2. "...от этого код становится только чище и меньше содержит не относящейся непосредственно к решаемой задаче информации.". С каких это пор у нас типы не относятся к решаемой задаче?

С таких. Видел хоть в одном абстрактном псевдокоде типы? Вот то то и оно.

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

Ну давай. Жду твоих примеров.

КЛ>А демагогия это потому, что ты свой личный опыт пытаешься экстраполировать на всех людей

Это не демагогия. Сама суть любой экспертной оценки — экстраполяция опыта эксперта на экспертируемый предмет. Альтернатива экспертной оценки — только хорошая метрика, но с этим в данной области все очень плохо.
А вот то, что ты, без каких либо обоснований назвал большой кусок текста, содержащий в том числе и логические цепочки демагогией, вот это настоящая демагогия и есть.

КЛ> Мы можем лишь обменяться мнением, а переубедить др др мы не сможем.

А я и не собираюсь переубеждать того, кто переубеждаться не хочет.

КЛ> Поэтому вся наша дискуссия — сплошная демагогия.

С моей стороны никакой демагогии пока нет.

AVK>>Оба

КЛ>Ну вот тебе читать проще (в 100% случаев), а мне проще, но не всегда. Кто тут прав?

А чего ты тогда сюда ввязался? Или тебе можно, а у меня сразу же демагогия?