You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@matklad, what do you think about following retry loop structure (unfortunatelly, Zig ranges can't countdown in opposite direction - so need to use while loop instead of for (5..0)):
Formally, it breaks 3rd property about obvious upper bound (as it doesn't use for (0..5) construction) - but actually upper bound is still pretty obvious.
But this approach a bit less redundant and a bit more clear - we are making N attempts, not N + 1.
The text was updated successfully, but these errors were encountered:
Read article about retry loop and had a thought:
@matklad, what do you think about following retry loop structure (unfortunatelly, Zig ranges can't countdown in opposite direction - so need to use
while
loop instead offor (5..0)
):Formally, it breaks 3rd property about obvious upper bound (as it doesn't use
for (0..5)
construction) - but actually upper bound is still pretty obvious.But this approach a bit less redundant and a bit more clear - we are making
N
attempts, notN + 1
.The text was updated successfully, but these errors were encountered: