diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-05-16 13:46:56 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-05-16 13:46:56 -0700 |
commit | dd43949ede6d9e0b0417c36f36c311bb6da6fa57 (patch) | |
tree | 43036260e8cac5e1e6562f099a8d065405c296f6 | |
parent | b142a7620246d57b461e5863b9d1092a917a2fc3 (diff) | |
download | mu-dd43949ede6d9e0b0417c36f36c311bb6da6fa57.tar.gz |
1384
-rw-r--r-- | 048continuation.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/048continuation.cc b/048continuation.cc index a178422f..c5697aae 100644 --- a/048continuation.cc +++ b/048continuation.cc @@ -1,3 +1,9 @@ +//: Continuations are a powerful primitive for constructing advanced kinds of +//: control *policies* like back-tracking. They're usually provided using a +//: primitive called 'call-cc': http://en.wikipedia.org/wiki/Call-with-current-continuation) +//: But in mu 'call-cc' is constructed out of a combination of two primitives: +//: 'current-continuation', which returns a continuation, and +//: 'continue-from', which takes a continuation to switch to. :(before "End Globals") map<index_t, call_stack> Continuation; |