From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: jadamson@partners.org (Joel J. Adamson) Newsgroups: gmane.emacs.help Subject: Re: The fundamental concept of continuations Date: Tue, 09 Oct 2007 09:21:51 -0400 Organization: Harvard University Message-ID: <87k5pw1l00.fsf__15213.3828182288$1191937307$gmane$org@W0053328.mgh.harvard.edu> References: <1191906949.179197.217470@57g2000hsv.googlegroups.com> <1191911045.604596.50110@19g2000hsx.googlegroups.com> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1191937302 12804 80.91.229.12 (9 Oct 2007 13:41:42 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Tue, 9 Oct 2007 13:41:42 +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 15:41:40 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 1IfFKG-0004wQ-TH for geh-help-gnu-emacs@m.gmane.org; Tue, 09 Oct 2007 15:40:45 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1IfFKB-0007B9-C1 for geh-help-gnu-emacs@m.gmane.org; Tue, 09 Oct 2007 09:40:39 -0400 Original-Path: shelby.stanford.edu!headwall.stanford.edu!newshub.sdsu.edu!news.glorb.com!newspeer1.asbnva01.us.to.verio.net!news.harvard.edu!not-for-mail Original-Newsgroups: comp.lang.scheme, comp.lang.lisp, comp.lang.functional, gnu.emacs.help, comp.lang.python Original-Lines: 32 Original-NNTP-Posting-Host: w0053328.mgh.harvard.edu Original-X-Trace: plato.harvard.edu 1191936287 11514 132.183.29.121 (9 Oct 2007 13:24:47 GMT) Original-X-Complaints-To: news@plato.harvard.edu Original-NNTP-Posting-Date: Tue, 9 Oct 2007 13:24:47 +0000 (UTC) User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/23.0.0 (gnu/linux) Cancel-Lock: sha1:rAXUzhYquqS0tZl9R3Bxo6T3mJE= Original-Xref: shelby.stanford.edu comp.lang.scheme:74395 comp.lang.lisp:230802 comp.lang.functional:62599 gnu.emacs.help:152758 comp.lang.python:515549 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:48262 Archived-At: gnuist006@gmail.com writes: > 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 Read R5RS or R6RS, the passage on call-with-current-continuation is similar in both texts ( http://www.r6rs.org/final/html/r6rs/r6rs.html ). For lambda calculus, look it up on Wikipedia. Alonzo Church is the name you're looking for. Joel -- Joel J. Adamson Biostatistician Pediatric Psychopharmacology Research Unit Massachusetts General Hospital Boston, MA 02114 (617) 643-1432 (303) 880-3109