<b>A component without named state, once proved correct, always stays correct</b>. Correctness is not so simple to maintain for a component with named state. A good rule is that named state should never be invisible: there should always be some way to access it from the outside.

Если считать это верным, то напрашиваются следующие выводы:
— Объекты удовлетворяли бы этому условию, если бы не могли дать доступ к частям внутреннего состояния. Даже передача сообщений не спасает, умолчание не то. Поэтому объекты этому условию скорее не удовлетворяют.
— Монады состояния скорее удовлетворяют этому условию, чем наоборот, поскольку состояние (в большинстве случаев) может быть доступно только на выходе.
— Изменяемые переменные не удовлетворяют условию.
— Подход Эрланга — я могу передать значение части состояния куда-либо, но извне оно не видно, — скорее удовлетворяет условию, чем наоборот.