Get the latest tech news

Retry Loop Retry

Some time ago I lamented that I don't know how to write a retry loop such that:

Aug 23, 2025 Some time ago I lamented that I don’t know how to write a retry loop such that: You see, the first requirement, that the number of retries is bounded syntactically, was leading me down the wrong path. Looking at the static semantics, any non do while loop’s body can be skipped completely, so we’ll have to have some runtime asserts explaining to the compiler that we really did run action at least once.

Get the Android app