Почему Дейкстра был таким горячим поклонником стеково-ориентированных вычислений? Ведь это же отвратительно, если у нас нет GOTO, или, хотя-бы, его огрызка — RETURN, нам (машине) приходиться вычислять нафиг не нужные ветки. Что в этом хорошего то может быть?