Referential Transparency / Stateful IO

Kind: tension

Record: tension:referential-transparency-stateful-io

Canonical: Schema

"referential-transparency" (computation-core layer) is traded against "Stateful IO" (computation-core layer) — a principle cannot be scope-separated from a quality, metric, or cost it competes with; resolve by measuring "Stateful IO" and choosing an explicit operating point.

Listed in Tensions, after Predictability / Dynamic Runtime Behavior and before Pure Functions / Stateful Operations.

In tension with

Mechanism

Linked from