Optimized tail calls are effectively the same as computed goto, but are a Standard feature. Or, rather, don't require non-standard syntax. A program that relies on the optimization built by a compiler that failed to implement it--which is allowed--would not be expected to run well.

https://github.com/ncm/computed-goto

The "more powerful language" part is to get language-level tools to compose parser combinators, ultimately resolving down to tail calls.