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

M>Я про это тоже говорил. Ты придумал себе какие-то предусловия и активно пытаешься это энфорсить. В моем случае условия никуда не исчезли — это все те же условия. Только ВНЕЗАПНО для них «не имеет смысла»

Повторюсь:

EP>Состояние ранее являвшееся ошибкой, стало вполне штатным режимом работы, и это повлияло на возможные варианты реализации этого в коде. И что тебя удивляет?

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

Что за мода такая пошла на экстраполяцию из каких-то частных случаев?

M>Ведь если программисты вменяемые, то будет банальный вызов функции, в который передастся бизнес-объект, над которым будут произведены какие-то действия, а обратно вернется уже измененный объект.

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

M>Где «это» тогда имеет смысл?

Для тех задач где есть какие-то предусловия.