Being more precise

Lecture 3 - Page 26 : 43

Programming Paradigms
Simulation of other Paradigms and Continuations

Being more precise

Instead of relying of an informal understanding of continuations we will now introduce lambda expressions that represent the continuations.

We can form a lambda expression that to some degree represents a continuation

Context C and expression E	The continuation of E in C
(+ 5 *( 4 3)**)	(lambda (E) (+ 5 E))
(cons 1 (cons 2 (cons 3 '())))	(lambda (E) (cons 1 (cons 2 (cons 3 E))))
(define x 5) (if (= 0 x) 'undefined (remainder (* (+ x 1) (- x 1)) x))	(lambda (E) (remainder (* E (- x 1)) x))

A more precise notation of the continuations of E