That seems more like a programmer expectations issue than something fundamental. Essentially, you have "do (call some function that returns a chunk of state) wh

That seems more like a programmer expectations issue than something fundamental. Essentially, you have "do (call some function that returns a chunk of state) while (predicate that evaluates the state) ..." Hard to express without primitives to indicate that, maybe.