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.
[dead]
I wonder if languages could and should allow enforcing both properties.