Absolutely. This is the definition of what computation is. Even in the lambda calculus, where everything is defined with pure functions, we build up state seque

Absolutely. This is the definition of what computation is. Even in the lambda calculus, where everything is defined with pure functions, we build up state sequentially over time, based on previous values of the state. The fact that there’s no mutation under the hood is inconsequential.