No Side Effects
Kind: constraint
Layer: Computation Core
Record: lexicon:no-side-effects
Canonical: Lexicon
The requirement that a function compute its result without observable side effects.
Listed in Lexicon terms, after Deterministic Behavior and before Properties/Invariants.