# Stateful IO

> The degree to which stateful input/output conflicts with expressions being replaceable by their values.

Record: `lex:stateful-io`
Kind: quality-attribute
Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lex-stateful-io

## category

- [Correctness / Determinism / Verification](https://banes-lab.com/records/lex-category/correctness-determinism-verification.md)

## referenced-by

- [Referential Transparency](https://banes-lab.com/records/arch/referential-transparency.md)