Yes. Often one can (after much thought and code) write something that explicitly reduces a problem in just* the right order, but it is quicker and simpler to repeatedly apply a set of rewrites WHILE any changes have been made.
* see Knuth on Tarjan's SCC
For example, wiping one's butt:
do {
wipe()
} while { color_of_tp() !== "white" }
Although I'd argue while loops belong most at home in imperative code. (Cleaning for example is like the impure function par excellence, done only for side effect)
Some people were once trying to come up with the most useless possible superhero or supervillain, and I suggested "Exact Wipe Man", with the power to look at the result of a wipe of anything and know if that was the last wipe needed.
While on the subject of wiping one's derrière, I once read a question in an advice column where the questioner said that for some reason that subject came up among a group of people and someone asked what direction people wipe. It turned out that in that group of around 10 people 9 went one way and one went the other. That one wrote to ask if he was a freak or if he was normal and surrounded by freaks.
The columnist of course had no idea what the answer was, and asked around the office. She found that nearly everyone in the office went the same way as the questioner's friends, and informed him that he did appear to be unusual.
It turns out that I am also in the minority group. It had never even occurred to me that anyone might go the other way as it seems completely unnatural to me. Most people wipe in private with not even people they are in intimate physical relationships with watching and it is almost never a topic of discussion so you can be doing it completely different from everyone else and never find out.
This raises the question of what other things do we regularly do in private but might be doing in some way different from most other people? Maybe I'm flossing or brushing my teeth in some weird way, or maybe the way I turn on under the shower head always misses one particular spot and so I've got some section in the middle of my back that's never washed, or something like that?
I was tempted to subscribe to a month or two of one of those "voyeur" sites where they have a house with cameras in every room so you can see everything the residents do, to see how my flossing, showering, etc., compared, but never got around to doing so.
The flossing and teeth brushing thing, though, seriously? I don't know in principle if I'm doing it the same as other people, but I do remember quite well my parents teaching me to do it and I at least do it the same way they do. I didn't just figure out how to brush my teeth as a 3 year-old by trial and error. It was a topic of discussion at one point, at least with them, and that presumably means I do it the same way as my sisters.
True! Although I'd argue that's just part of the human condition. How do we check if any given condition obtains? Very often the simplest and most effective approach is just to perform some action which depends on that condition for its success, and we conclude from the fact that our action succeeded/failed that the condition does/doesn't obtain. How do we check if a closed door is locked? Technically we could use a see-through camera to observe the lock mechanism, but it's more straightforward to just try to push it open and see if we succeed/fail to do so. Ideally we may prefer structured decision-making like if-else and switch-case statements but in reality we tend to go for the quick and dirty (if less elegant, and sometimes wasteful) try-catches. :)
while not stream.closed:
symbols = []
current_symbol = None
while not current_symbol == END:
current_symbol = stream.read()
symbols.append(current_symbol)
# Do stuff with symbols.
In English, when you say while A, B" it means "as long as condition A is fulfilled, condition B is also fulfilled". Like "while the window is open, the room is getting colder".
But then in programming, that's not how it works. "while the stream is not closed..." what? A variable called symbols is being assigned. That's an action - so how often does it happen? Once or multiple times? Can the code after the while run in parallel or only sequential? And don't even get me started with forgetting to close the stream.
Etc. etc.
Intuitively it would be: "1.) open a stream. 2.) If there is nothing more to read, close the stream, otherwise read one symbol and add it to the list of symbols. Repeat 3.) repeat step 2".
So for me at least, the recursive version is much more intuitive. it's how I think about it and how I would think about it if it were a real-world problem too.
Now it's a bit confusing if you're used to other languages, because you might think "while" is a test-at-start and "Until" is test-at-end, but actually while and until can both be tested either at the start or the end, and While and Until are just testing the negation of each other.
It can also be extra confusing, because there is a separate While.. End loop without the Do that can be used instead.
There's a reason Visual Basic died out, and it isn't just the snobbishness of seeing C# as more of a "real" language.
> But then in programming, that's not how it works. "while the stream is not closed..." what? A variable called symbols is being assigned. That's an action - so how often does it happen? Once or multiple times? Can the code be after the while run in parallel or only sequential? And don't even get me started with forgetting to close the stream
Ruby has the "until" keyword as an alternative to "while not" (similar to but not as commonly needed as "unless" for "if not"). I've honestly always kind of liked Ruby's willingness to go out of its way to try to make things like this more natural, but sadly I think I'm in the minority on this one.
The one that always feels the most funky to me is whenever I have to invert `is_empty` in some way; I wish that languages would standardize having a method that means the opposite purely for aesthetic reasons, which I suspect would be wildly unpopular with everyone else besides me due to being seen as "redundant".