Comment by adamc

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.