Correspondence principle deal is program equivalence: while(1)break === while(1)({|| break})(). Variable abstraction independent/composes.
-
-
Dead frames not the problem. Instead a layering issue wrt nested user and language defined ctl abstractions. Some day I'll show you
-
I know the issue about `break` needing N frames depending on how layered the abstraction is. Is that what you mean?
-
Not a matter of frame counting b/c block creation site does know nature or depth of ctl abstraction function impl.
-
Right. I agree this is a wart. Doubt it's fatal.
-
break should break (like exception) to a unique labelled continuation, created for each block. continue should return the block.
-
iow break is like a smaller-scoped return. Both can desugar into an escape continuation with appropriate scope.
-
Not really
-
I'll hold off future attempts to probe until the next time we meet in person :)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.