Пример при разработке
После создания объекта настроек код не меняет его поля, а создаёт новую версию. Компоненты не получают неожиданных изменений через общую ссылку.
Это редакционный пример применения, а не часть определения или доказательство концепции.Механизм действия
Сначала проверяют, есть ли исходное условие из определения. Затем смотрят, как оно влияет на структуру компонентов, потоки данных, ограничения и действия участников. Если эту связь не удаётся наблюдать, принцип не стоит использовать как готовое объяснение.
Пример в работе
Сразу приклеить к ситуации название принципа и выбрать решение, не проверив его условия и границы применимости.
Сначала описать конкретную ситуацию, затем проверить условия принципа и только после этого выбирать действие. После изменения сравнить ожидаемый результат с фактическим.
Ограничения
«Неизменяемость» объясняет только часть происходящего в области «Архитектура ПО». Сам принцип не говорит, насколько сильным будет эффект в вашем случае, и не заменяет измерения. При другом масштабе, среде или временном горизонте результат может отличаться.
Источник
Simon Marlow, editor. Haskell 2010 Language Report. 2010. Haskell 2010.