I personally believe you're completely misunderstanding: generic goto is a bad practice because it lets you unconditionally jump from a random exectution point to another. It's this particular point that's stressed in the very seminal article you linked to. (And we don't need you to point us to such a notorious resource.) OTOH next, last and redo are not simply "a kind of goto", but they are especially tamed kinds of goto which are not associated with the same wild behaviour. tye has some good points, but you're trivializing the subject matter.