Lecture overview -- Keyboard shortcut: 'u'  Previous page: Being more precise -- Keyboard shortcut: 'p'  Next page: Capturing, storing, and applying continuations -- Keyboard shortcut: 'n'  Lecture notes - all slides and notes together  slide -- Keyboard shortcut: 't'  Textbook -- Keyboard shortcut: 'v'  Help page about these notes  Alphabetic index  Course home    Lecture 3 - Page 38 : 42
Functional Programming in Scheme
Name binding, Recursion, Iteration, and Continuations
The capturing of continuations

It is now time to introduce the Scheme primitive that allows us to capture a continuation.

Scheme provides a primitive that captures a continuation of an expression E in a context C

The primitive is called call-with-current-continuation, or call/cc as a short alias

call/cc takes a parameter, which is a function of one parameter.

The parameter of the function is bound to the continuation, and the body of the function is E

Context C and the capturing

(+ 5 (call/cc (lambda (e) (* 4 3)) ))
(cons 1 (cons 2 (cons 3 (call/cc (lambda (e) '()) ))))
(define x 5)
(if (= 0 x)
    (remainder (* (call/cc (lambda (e) (+ x 1)) ) (- x 1)) x))

Use of call/cc and capturing of continuations.