[Corazoor]

Hah, when I wrote that I was thinking of qualifying it a bit better to prevent the very obvious objections.

It really depends on the language and what kind of goto you mean.

But in the context of the post I replied to, yes, because you cannot replace algebraic effects with "neutered" gotos (like the ones in c), you need the equivalent of longjmp, or maybe gosub.

You can obviously design a language where goto does implicitely run finalizers or does similar fancy stuff, but this is again leaving the scope of the original discussion I think...