|
|
|
|
|
|
by duped
3 days ago
|
|
|
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. |
|
|