From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: gnuist006@gmail.com Newsgroups: gmane.emacs.help Subject: Re: The fundamental concept of continuations Date: Tue, 09 Oct 2007 06:24:05 -0000 Organization: http://groups.google.com Message-ID: <1191911045.604596.50110__42444.5476303392$1191912675$gmane$org@19g2000hsx.googlegroups.com> References: <1191906949.179197.217470@57g2000hsv.googlegroups.com> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Trace: sea.gmane.org 1191912670 25425 80.91.229.12 (9 Oct 2007 06:51:10 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Tue, 9 Oct 2007 06:51:10 +0000 (UTC) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Tue Oct 09 08:51:09 2007 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1If8vs-0004v2-9y for geh-help-gnu-emacs@m.gmane.org; Tue, 09 Oct 2007 08:51:08 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1If8vm-0001jE-Tk for geh-help-gnu-emacs@m.gmane.org; Tue, 09 Oct 2007 02:51:02 -0400 Original-Path: shelby.stanford.edu!newsfeed.stanford.edu!postnews.google.com!19g2000hsx.googlegroups.com!not-for-mail Original-Newsgroups: comp.lang.scheme, comp.lang.lisp, comp.lang.functional, gnu.emacs.help, comp.lang.python Original-Lines: 21 Original-NNTP-Posting-Host: 75.31.69.15 Original-X-Trace: posting.google.com 1191911045 13465 127.0.0.1 (9 Oct 2007 06:24:05 GMT) Original-X-Complaints-To: groups-abuse@google.com Original-NNTP-Posting-Date: Tue, 9 Oct 2007 06:24:05 +0000 (UTC) In-Reply-To: User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.8.1.7) Gecko/20070914 Firefox/2.0.0.7,gzip(gfe),gzip(gfe) Complaints-To: groups-abuse@google.com Injection-Info: 19g2000hsx.googlegroups.com; posting-host=75.31.69.15; posting-account=ps2QrAMAAAA6_jCuRt2JEIpn5Otqf_w0 Original-Xref: shelby.stanford.edu comp.lang.scheme:74378 comp.lang.lisp:230757 comp.lang.functional:62585 gnu.emacs.help:152738 comp.lang.python:515499 X-Mailman-Approved-At: Tue, 09 Oct 2007 02:47:28 -0400 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.help:48244 Archived-At: On Oct 8, 10:59 pm, Barb Knox wrote: > > Lambda calculus. Instead of function A returning to its caller, the > caller provides an additional argument (the "continuation") which is a > function B to be called by A with A's result(s). In pure "continuation > style" coding, nothing ever "returns" a result. > > It is easy to mechanically transform normal function-style lambda > calculus into continuation-style, but the reverse is not so. > Explanation and reference please > > You can have a "spaghetti stack", or keep continuation data-structures > in the heap. A picture, diagram? a picture is worth a thousand words