Archived tweet #9453 from the @leastfixedpoint Twitter Archive

@searls It's because of (local) *predictability*. A (total, pure) function has exactly one: input; computation; output; and no effects. Totally predictable. Introduce effects, and you introduce unpredictability: nontermination; nonlocality; nondeterminism; exceptions; etc.