Well, I am in a process of making a language where general loops will look like

    loop
        prepare;
        while check;
        process;
    end;

I also think you'd enjoy Knuth's article "Structured Programming with go to Statements" [0]. It's the article that gave us the "premature optimization is the root of all evil" quote but it's probably the least interesting part of it. Go read it, it has a several sections that discuss looping constructs and possible ways to express it.

[0] https://pic.plover.com/knuth-GOTO.pdf