Personal tools

Continuation

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Powerful metaphors, images: : concise descriptions or illustratiing metaphoras, a collection of citing quotations)
(Powerful metaphors, images: Adding David Madore's ``dynamic goto'', ``label for goto'' metaphor)
Line 7: Line 7:
 
* “In computing, a continuation is a representation of the execution state of a program (for example, the call stack) at a certain point in time” (Wikipedia's [http://en.wikipedia.org/wiki/Continuation Continuation]).
 
* “In computing, a continuation is a representation of the execution state of a program (for example, the call stack) at a certain point in time” (Wikipedia's [http://en.wikipedia.org/wiki/Continuation Continuation]).
 
* “Continuations represent the future of a computation, as a function from an intermediate result to the final result“ ([http://www.nomaware.com/monads/html/contmonad.html Continuation monad] section in Jeff Newbern's All About Monads)
 
* “Continuations represent the future of a computation, as a function from an intermediate result to the final result“ ([http://www.nomaware.com/monads/html/contmonad.html Continuation monad] section in Jeff Newbern's All About Monads)
+
* “At its heart, <code>call/cc</code> is something like the <code>goto</code> instruction (or rather, like a label for a <code>goto</code> instruction); but a Grand High Exalted <code>goto</code> instruction... The point about <code>call/cc</code> is that it is not a ''static'' (lexical) <code>goto</code> instruction but a ''dynamic'' one“ (David Madore's [http://www.madore.org/~david/computers/callcc.html A page about <code>call/cc</code>])
 
=== Links ===
 
=== Links ===
   

Revision as of 14:18, 24 May 2006

Contents


1 General or introductory materials

1.1 Powerful metaphors, images

  • “In computing, a continuation is a representation of the execution state of a program (for example, the call stack) at a certain point in time” (Wikipedia's Continuation).
  • “Continuations represent the future of a computation, as a function from an intermediate result to the final result“ (Continuation monad section in Jeff Newbern's All About Monads)
  • “At its heart, call/cc is something like the goto instruction (or rather, like a label for a goto instruction); but a Grand High Exalted goto instruction... The point about call/cc is that it is not a static (lexical) goto instruction but a dynamic one“ (David Madore's A page about call/cc)

1.2 Links

2 Continuation monad