Continuation-passing style
From Wikipedia, the free encyclopedia
In functional programming, continuation-passing style is a style of programming in which control is passed explicitly in the form of a continuation.
Contents |
[edit] Introduction
Instead of "returning" values as in the more familiar direct style, a function written in continuation-passing style (CPS) takes an explicit continuation argument which is meant to receive the result of the computation performed within the function. When a subroutine is invoked within a CPS function, the calling function is required to supply a procedure to be invoked with the subroutine's "return" value. Expressing code in this form makes a number of things explicit which are implicit in direct style. These include: procedure returns, which become apparent as calls to a continuation; intermediate values, which are all given names; order of argument evaluation, which is made explicit; and tail recursion, which is simply calling a procedure with the continuation that was passed to the caller.
Programs can be automatically transformed from direct style to CPS. Functional and logic compilers often use CPS as an intermediate representation where a compiler for an imperative or procedural programming language would use static single assignment form (SSA); however, SSA and CPS are equivalent (Kelsey 1995) [technically there are constructions in CPS that cannot be translated to SSA, but they do not occur in practice]. Functional compilers can also use Administrative Normal Form (ANF) instead of or in conjunction with CPS. CPS is used more frequently by compilers than by programmers as a local or global style.
[edit] Examples
In CPS, each procedure takes an extra argument representing what should be done with the result the function is calculating. This, along with a restrictive style prohibiting a variety of constructs usually available, is used to expose the semantics of programs, making them easier to analyze. This style also makes it easy to express unusual control structures, like catch/throw or other non-local transfers of control.
The key to CPS is to remember that (a) every function takes an extra argument, its continuation, and (b) every argument in a function call must be either a variable or a lambda expression (not a more complex expression). This has the effect of turning expressions "inside-out" because the innermost parts of the expression must be evaluated first! Some examples of code in direct style and the corresponding CPS style appear below. These examples are written in the Scheme programming language.
|
|
---|---|
(define (pyth x y) (sqrt (+ (* x x) (* y y)))) |
(define (pyth x y k) (* x x (lambda (x2) (* y y (lambda (y2) (+ x2 y2 (lambda (x2py2) (sqrt x2py2 k)))))))) |
(define (factorial n) (if (= n 0) 1 (* n (factorial (- n 1))))) |
(define (factorial n k) (= n 0 (lambda (b) (if b (k 1) (- n 1 (lambda (nm1) (factorial nm1 (lambda (f) (* n f k))))))))) |
(define (factorial n) (f-aux n 1)) (define (f-aux n a) (if (= n 0) a (f-aux (- n 1) (* n a)))) |
(define (factorial n k) (f-aux n 1 k)) (define (f-aux n a k) (= n 0 (lambda (b) (if b (k a) (- n 1 (lambda (nm1) (* n a (lambda (nta) (f-aux nm1 nta k))))))))) |
In order to call a procedure written in CPS from a procedure written in direct style, it is necessary to provide a continuation. In the example above, we might call (factorial 10 identity)
. This will not work directly with the code above, because in the CPS version we are assuming that primitives like +
and *
are in CPS, so to make the above example work in a Scheme system we would need to write new CPS versions of these primitives and use them instead: cps*
instead of *
, etc, where (define (cps* x y k) (k (* x y)))
, etc. To do this in general, we might write a conversion routine, (define (cps-prim f) (lambda args (let ((r (reverse args))) ((car r) (apply f (reverse (cdr r)))))))
then (define cps* (cps-prim *))
(define cps+ (cps-prim +))
, etc.
There is some variety between compilers in the way primitive functions are provided in CPS. Above we have used the simplest convention, however sometimes boolean primitives take two continuations, so (if (= a b) c d)
in direct style would be translated to (= a b (lambda () (k c)) (lambda () (k d)))
. Similarly, sometimes if
itself is not included in CPS, and instead a primitive function %if
is provided which takes three arguments: a boolean condition and two continuations corresponding to the two arms of the conditional.
The translations shown above show that CPS is a global transformation; the direct-style factorial takes, as might be expected, a single argument. The CPS factorial takes two: the argument and a continuation. Any function calling a CPS-ed function must either provide a new continuation or pass its own; any calls from a CPS-ed function to a non-CPS function will use implicit continuations. Thus, to ensure the total absence of a function stack, the entire program must be in CPS.
[edit] Continuations as objects
Programming with continuations can also be useful when a caller does not want to wait until the callee completes. For example, in user-interface (UI) programming, a routine can set up dialog box fields and pass these, along with a continuation function, to the UI framework. This call returns right away, allowing the application code to continue while the user interacts with the dialog box. Once the user presses the "OK" button, the framework calls the continuation function with the updated fields. Although this style of coding uses continuations, it is not full CPS.
function Confirm_name() { fields.name = name; framework.Show_dialog_box(fields, Confirm_name_continuation); } function Confirm_name_continuation(fields) { name = fields.name; }
A similar idea can be used when the function must run in a different thread or on a different processor. The framework can execute the called function in a worker thread, then call the continuation function in the original thread with the worker's results. This is in Java using the Swing UI framework:
void buttonHandler() { // This is executing in the Swing UI thread. // We can access UI widgets here to get query parameters. final int parameter = getField(); new Thread(new Runnable() { public void run() { // Now we're in a separate thread. // We can do things like hit a database or access // a blocking resource like the network to get data. final int result = lookup(parameter); javax.swing.SwingUtilities.invokeLater(new Runnable() { public void run() { // Now we're back in the UI thread and can use // the fetched data to fill in UI widgets. setField(result); } }); } }).start(); }
[edit] CPS and tail calls
Note that in CPS, there is no implicit continuation — every call is a tail call. There is no "magic" here, as the continuation is simply explicitly passed. Using CPS without tail call optimization (TCO) will cause not only the explicit continuation to grow during recursion, but also the function stack itself. (This is usually undesirable, but this "problem" has been used in interesting ways - see the Chicken Scheme compiler).
As CPS and TCO eliminate the concept of an implicit function return, their combined use can eliminate the need for a runtime stack. Several compilers and interpreters for functional programming languages use this ability in novel ways.
[edit] Use and implementation
Continuation passing style can be used to implement continuations in a functional language that does not feature first-class continuations but does have first-class functions. Without first-class functions, techniques such as trampolining of thunk closures can be used; in this case, it is possible to convert tail calls into gotos in a loop, eliminating even the need for TCO.
Writing code in CPS, while not impossible, is often error-prone. There are various translations, usually defined as one- or two-pass conversions of pure lambda calculus, which convert direct style expressions into CPS expressions. Writing in trampolined style, however, is extremely difficult; when used, it is usually the target of some sort of transformation, such as compilation.
[edit] Use in other fields
Outside of computer science, CPS is of more general interest as an alternative to the conventional method of composing simple expressions into complex expressions. For example, within linguistic semantics, Chris Barker and his collaborators have suggested that specifying the denotations of sentences using CPS might explain certain phenomena in natural language [1].
In mathematics, the Curry-Howard isomorphism between computer programs and mathematical proofs relates continuation-passing style translation to double-negation embeddings of classical logic into intuitionistic (constructive) logic. Classical logic itself relates to manipulating the continuation of programs directly, as in Scheme's call-with-current-continuation control operator.
[edit] See also
- The construction of a CPS-based compiler for ML is described in: Appel, Andrew W. (1992). Compiling with Continuations. Cambridge University Press. ISBN 0-521-41695-7. http://books.google.com/books?id=3RjLXL2DTEoC&dq=%22Compiling+with+Continuations%22&printsec=frontcover&source=bn&hl=en&sa=X&oi=book_result&resnum=4&ct=result.
- Olivier Danvy and Andrzej Filinski (1992). "Representing Control, A Study of the CPS Transformation". Mathematical Structures in Computer Science 2 (4): 361–391. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.84.
- Chicken Scheme compiler, a Scheme to C compiler that uses continuation-passing style for translating Scheme procedures into C functions while using the C-stack as the nursery for the generational garbage collector
- Richard A. Kelsey (March 1995). "A Correspondence between Continuation Passing Style and Static Single Assignment Form". ACM SIGPLAN Notices 30 (3): 13–22. doi:. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.6773.
- Andrew W. Appel (April 1998). "SSA is Functional Programming". ACM SIGPLAN Notices 33 (4): 17–20. doi:. http://www.cs.princeton.edu/~appel/papers/ssafun.ps.
- Danvy, Olivier; Millikin, Kevin; Nielsen, Lasse R. (2007), On One-Pass CPS Transformations, BRICS, Department of Computer Science, University of Aarhus, pp. 24, RS-07-6, ISSN 0909-0878, http://www.brics.dk/RS/07/6/
- R. Kent Dybvig (2003). The Scheme Programming Language. Prentice Hall. p. 64. http://www.scheme.com/tspl3/. Direct link: "Section 3.4. Continuation Passing Style".