Dmitry Olshansky:
_Explicit_ tail call (aka switch-call) would have been cleaner and more modular. It covers all relevant cases of computed-goto such as threaded-code interpreters and also recursion-heavy functional code.
It looks like an additive change. Can you show a possible syntax and semantics for D? If it's so good it could also become a DIP later.
Bye, bearophile