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