about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-05-16 13:46:56 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-05-16 13:46:56 -0700
commitdd43949ede6d9e0b0417c36f36c311bb6da6fa57 (patch)
tree43036260e8cac5e1e6562f099a8d065405c296f6
parentb142a7620246d57b461e5863b9d1092a917a2fc3 (diff)
downloadmu-dd43949ede6d9e0b0417c36f36c311bb6da6fa57.tar.gz
1384
-rw-r--r--048continuation.cc6
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;