This split is familiar from Temporal.io: workflows are deterministic while activities are idempotent.

I wonder if languages could and should allow enforcing both properties.

For frontend web development, Elm enforces a pure core (pure > deterministic).