Did Dijkstra dislike all forms of control flow?
Not at all. My critique was specific to the 'go to' statement and the arbitrary jumps it facilitated. Structured programming, on the other hand, provides well-defined control structures like loops and conditional statements. These constructs, when used judiciously, offer predictable pathways through a program. The key is to design control flow that supports clear reasoning and verification, rather than obfuscating it.
Ask Edsger W. Dijkstra the follow-up →