Comment by duped

PL theory seems to be in an infinite loop between arbitrary control flow like call/cc and then realizing it's hard to reason about and restricting it.

I do wish we could land on a standard model for implementing non local control flow. Like growable stacks.