Everybody knows that "goto is harmful" but who has noticed that the very same paper says that loops are technically unnecessary? Loops are merely a special cas

Everybody knows that "goto is harmful" but who has noticed that the very same paper says that loops are technically unnecessary? Loops are merely a special case of recursion. The reason languages have loops is that reifying these cases to language constructs simplifies code generation. The downside is that it muddles the logic of computation.