On 2025-12-29 09:40, Jₑₙₛ Gustedt wrote:
I think it was more meant to refer to the observable behavior of the
program. Perhaps this should be changed to something like
... or the observable <del>state</del> <ins>behavior</ins> of
<del>the</del> <ins>an</ins> execution.
Yes, that's an improvement - with a wording issue, though, as
"observable behavior" (§ 5.1.2.4 ¶ 6) is defined for programs, not for
single executions of programs.
So if I understand things correctly, reproducible functions don't need
to return exactly once (as GNU C pure functions do). All that's required
is that they behave consistently; e.g., if they go into an infinite loop
for a particular set of args and state, they do so consistently whenever
given the same args in the same state.
