This question could be viewed as an ELL question. However, I am posting it here as I am looking for a two-fold confirmation: semantic/grammatical and programming language usage for purposes of confirming to skeptical French participants in the FLI forum what I have already said.
I was informed in the French forum that: "It's not clear to me whether the keep is very meaningful in English in such a context or just structural, but that's off topic. Consider continuer à boucler might create an ambiguity or some weirdness in this context that keep looping wouldn't introduce. This is no general context here, like keep applying pressure to the wound when someone is already doing so, surely you can see that. The 1:1 won't cut it imho"
So, my question really is in English: Semantically (but not in the form used in an instruction), doesn't Keep looping while in English mean: Continue looping while? And would just using the idea of looping work? Isn't "keep" in "keep looping" meaningful? The text cited above is from an online Python course manual.
I was also informed by one poster that in English, when translating Keep verb+ing into French that: "maybe in English, you can say to someone who is thirsty, keep drinking until you are no longer thirsty but in French, we'd say until you are no longer thirsty, but not continue to drink until..." ["Peut être qu'en anglais on peut dire à quelqu'un qui à soif keep drinking until you are no longer thirsty mais en français on dira bois jusqu'à ce que tu n'aie plus soif, pas continue à boire jusqu'à..."]
I find that rather gobsmacking. The basic idea of keep + verb+ing is simply continue to [do something]. Now, obviously, the thirst idea is really quite odd as a way to "prove" what is said in another language. However, let's play along. If someone is told me to drink water (a medical professional, for example), "Drink water until [whatever].", that is not the same thing as "Keep drinking until [whatever]".
It's rather hilarious in information theory terms that the imperative form in computer programming really means the programmer (sender) is sending a message to a language function that a machine (the recipient) will execute.
The code snippet from Python exhibits typical a instruction statement structure AKA imperative programming. Yep, instructions are written using the imperative form of verbs. Is "Loop while the user enters a non-zero number", the same as "Keep looping while the user enters a non-zero number"? If not (which I assume is correct), please state formal reasons why this is so. I assume some answers will mention iterations (repetitions) of an instruction until some "state" is reached.