How do I know whether an expression is a continuation?
(+ 2 (let/cc cont
(begin
(set! global-cont cont)
3)))
5
global-cont
#<continuation>
(global-cont 5) ; global-cont: (+ 2 _)
7
I know the whole block (+ 2 ... 3))) is a continuation. But why global-cont is a continuation also? I tried to check the let/cc document, but it's hard to understand.
racket continuations
asked Dec 7 '18 at 14:05
user8314628user8314628
56529
add a comment |
(+ 2 (let/cc cont
(begin
(set! global-cont cont)
3)))
5
global-cont
#<continuation>
(global-cont 5) ; global-cont: (+ 2 _)
7
I know the whole block (+ 2 ... 3))) is a continuation. But why global-cont is a continuation also? I tried to check the let/cc document, but it's hard to understand.
racket continuations
asked Dec 7 '18 at 14:05
user8314628user8314628
56529
add a comment |
(+ 2 (let/cc cont
(begin
(set! global-cont cont)
3)))
5
global-cont
#<continuation>
(global-cont 5) ; global-cont: (+ 2 _)
7
I know the whole block (+ 2 ... 3))) is a continuation. But why global-cont is a continuation also? I tried to check the let/cc document, but it's hard to understand.
racket continuations
asked Dec 7 '18 at 14:05
user8314628user8314628
56529
(+ 2 (let/cc cont
(begin
(set! global-cont cont)
3)))
5
global-cont
#<continuation>
(global-cont 5) ; global-cont: (+ 2 _)
7
I know the whole block (+ 2 ... 3))) is a continuation. But why global-cont is a continuation also? I tried to check the let/cc document, but it's hard to understand.
racket continuations
racket continuations
asked Dec 7 '18 at 14:05
user8314628user8314628
56529
asked Dec 7 '18 at 14:05
user8314628user8314628
56529
asked Dec 7 '18 at 14:05
user8314628user8314628
56529
asked Dec 7 '18 at 14:05
user8314628user8314628
56529
asked Dec 7 '18 at 14:05
user8314628user8314628
56529
56529
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
In this expression:
(let/cc cont body ...)
cont is a continuation (+ 2 _), and in the body you're doing this:
(set! global-cont cont)
So basically you're assigning cont to global-cont, making it also a continuation.
edited Dec 31 '18 at 7:00
Will Ness
44.8k468123
answered Dec 7 '18 at 15:12
Óscar LópezÓscar López
177k24226321
add a comment |
I think I would disagree that "the whole block (+ 2 ...) is a continuation". If by "continuation" you mean "a value captured by let/cc or its equivalent (call/cc etc.)," then the whole block is not a continuation.
So: cont is a continuation because you captured it with let/cc. global-cont is a continuation because you assigned a continuation to it.
answered Dec 8 '18 at 22:43
John ClementsJohn Clements
13.8k32336
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
StackExchange.using("externalEditor", function () {
StackExchange.using("snippets", function () {
StackExchange.snippets.init();
});
});
}, "code-snippets");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "1"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53671172%2fhow-do-i-know-whether-an-expression-is-a-continuation%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
In this expression:
(let/cc cont body ...)
cont is a continuation (+ 2 _), and in the body you're doing this:
(set! global-cont cont)
So basically you're assigning cont to global-cont, making it also a continuation.
edited Dec 31 '18 at 7:00
Will Ness
44.8k468123
answered Dec 7 '18 at 15:12
Óscar LópezÓscar López
177k24226321
add a comment |
In this expression:
(let/cc cont body ...)
cont is a continuation (+ 2 _), and in the body you're doing this:
(set! global-cont cont)
So basically you're assigning cont to global-cont, making it also a continuation.
edited Dec 31 '18 at 7:00
Will Ness
44.8k468123
answered Dec 7 '18 at 15:12
Óscar LópezÓscar López
177k24226321
add a comment |
In this expression:
(let/cc cont body ...)
cont is a continuation (+ 2 _), and in the body you're doing this:
(set! global-cont cont)
So basically you're assigning cont to global-cont, making it also a continuation.
edited Dec 31 '18 at 7:00
Will Ness
44.8k468123
answered Dec 7 '18 at 15:12
Óscar LópezÓscar López
177k24226321
In this expression:
(let/cc cont body ...)
cont is a continuation (+ 2 _), and in the body you're doing this:
(set! global-cont cont)
So basically you're assigning cont to global-cont, making it also a continuation.
edited Dec 31 '18 at 7:00
Will Ness
44.8k468123
answered Dec 7 '18 at 15:12
Óscar LópezÓscar López
177k24226321
edited Dec 31 '18 at 7:00
Will Ness
44.8k468123
edited Dec 31 '18 at 7:00
Will Ness
44.8k468123
edited Dec 31 '18 at 7:00
Will Ness
44.8k468123
44.8k468123
answered Dec 7 '18 at 15:12
Óscar LópezÓscar López
177k24226321
answered Dec 7 '18 at 15:12
Óscar LópezÓscar López
177k24226321
answered Dec 7 '18 at 15:12
Óscar LópezÓscar López
177k24226321
177k24226321
add a comment |
add a comment |
I think I would disagree that "the whole block (+ 2 ...) is a continuation". If by "continuation" you mean "a value captured by let/cc or its equivalent (call/cc etc.)," then the whole block is not a continuation.
So: cont is a continuation because you captured it with let/cc. global-cont is a continuation because you assigned a continuation to it.
answered Dec 8 '18 at 22:43
John ClementsJohn Clements
13.8k32336
add a comment |
I think I would disagree that "the whole block (+ 2 ...) is a continuation". If by "continuation" you mean "a value captured by let/cc or its equivalent (call/cc etc.)," then the whole block is not a continuation.
So: cont is a continuation because you captured it with let/cc. global-cont is a continuation because you assigned a continuation to it.
answered Dec 8 '18 at 22:43
John ClementsJohn Clements
13.8k32336
add a comment |
I think I would disagree that "the whole block (+ 2 ...) is a continuation". If by "continuation" you mean "a value captured by let/cc or its equivalent (call/cc etc.)," then the whole block is not a continuation.
So: cont is a continuation because you captured it with let/cc. global-cont is a continuation because you assigned a continuation to it.
answered Dec 8 '18 at 22:43
John ClementsJohn Clements
13.8k32336
I think I would disagree that "the whole block (+ 2 ...) is a continuation". If by "continuation" you mean "a value captured by let/cc or its equivalent (call/cc etc.)," then the whole block is not a continuation.
So: cont is a continuation because you captured it with let/cc. global-cont is a continuation because you assigned a continuation to it.
answered Dec 8 '18 at 22:43
John ClementsJohn Clements
13.8k32336
edited Dec 31 '18 at 0:42
answered Dec 8 '18 at 22:43
John ClementsJohn Clements
13.8k32336
answered Dec 8 '18 at 22:43
John ClementsJohn Clements
13.8k32336
answered Dec 8 '18 at 22:43
John ClementsJohn Clements
13.8k32336
13.8k32336
add a comment |
add a comment |
Thanks for contributing an answer to Stack Overflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53671172%2fhow-do-i-know-whether-an-expression-is-a-continuation%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
