See: https://2020.programming-conference.org/details/salon-2020-papers/5/Can-Programmers-Escape-the-Gentle-Tyranny-of-call-return- https://2020.programming-co

See: https://2020.programming-conference.org/details/salon-2020-papers/5/Can-Programmers-Escape-the-Gentle-Tyranny-of-call-return- https://2020.programming-conference.org/details/salon-2020-p... Very briefly: what we currently have is procedures that implement these things, but that's not the same thing. Just like having a loop implemented by gotos is not the same thing as having a loop. (See Dijkstra)