-
@laughinghan @rsnous no! the state is not static. New code paths can always be triggered at runtime, causing new state to be created: conditions can change, loop boundaries can shift etc.
-
@laughinghan @rsnous My bad for bringing up C's static in a confusing way. It was meant to be an example of what I called "state associated to definition identity of functions" whereas what I'm talking about here is the opposite, "state associated to invocation identity of function"