M>>Вообще, экстраполируя твое заявление, получается, что хваленые типы вообще не имеют смысла почти никогда.
EP>Что за мода такая пошла на экстраполяцию из каких-то частных случаев?

Какие к черту частные случаи? Ты говоришь про общий случай уже ниже:

EP>То есть предусловий нет? О чём и речь

M>>Где «это» тогда имеет смысл?
EP>Для тех задач где есть какие-то предусловия.

Чем это принципиально отличается от одной точки входа, после которой идут условия? Простейший вопрос:

Было: copy-paste кода в 5 мест в виде if(X)->if(Y)->if(Z)->вызов_функции(). Раскорячились, написали «предусловия» на типах

Стало: перенесли if(X)->if(Y)->if(Z) в саму функцию. Теперь в пяти местах стоит только вызов_функции(). Все, «это действительно не имеет смысла»© и «То есть предусловий нет? О чём и речь»© ?



Я вот этого момента не понимаю.