From: Barb Knox <see@sig.below>
To: help-gnu-emacs@gnu.org
Subject: Re: The fundamental concept of continuations
Date: Tue, 09 Oct 2007 18:59:28 +1300 [thread overview]
Message-ID: <see-36543E.18592809102007__25592.2155957252$1191912562$gmane$org@lust.ihug.co.nz> (raw)
In-Reply-To: 1191906949.179197.217470@57g2000hsv.googlegroups.com
In article <1191906949.179197.217470@57g2000hsv.googlegroups.com>,
gnuist006@gmail.com wrote:
> Again I am depressed to encounter a fundamentally new concept that I
> was all along unheard of.
Don't be depressed about that. There are countless concepts out there
they you haven't yet heard of.
> Its not even in paul graham's book where i
> learnt part of Lisp. Its in Marc Feeley's video.
>
> Can anyone explain:
>
> (1) its origin
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.
> (2) its syntax and semantics in emacs lisp, common lisp, scheme
> (3) Is it present in python and java ?
Java, sort of. For example, the Run interface.
Python, I don't know.
> (4) Its implementation in assembly. for example in the manner that
> pointer fundamentally arises from indirect addressing and nothing new.
> So how do you juggle PC to do it.
You can have a "spaghetti stack", or keep continuation data-structures
in the heap.
> (5) how does it compare to and superior to a function or subroutine
> call. how does it differ.
This sounds like homework. What do you have so far?
> Thanks a lot.
>
> (6) any good readable references that explain it lucidly ?
Google?
--
---------------------------
| BBB b \ Barbara at LivingHistory stop co stop uk
| B B aa rrr b |
| BBB a a r bbb | Quidquid latine dictum sit,
| B B a a r b b | altum viditur.
| BBB aa a r bbb |
-----------------------------
next parent reply other threads:[~2007-10-09 5:59 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <1191906949.179197.217470@57g2000hsv.googlegroups.com>
2007-10-09 5:59 ` Barb Knox [this message]
2007-10-09 6:07 ` The fundamental concept of continuations Bakul Shah
2007-10-09 6:09 ` .
[not found] ` <470b1aa6$0$79886$742ec2ed@news.sonic.net>
2007-10-09 6:33 ` gnuist006
[not found] ` <1191911604.169846.244430@r29g2000hsg.googlegroups.com>
2007-10-09 7:15 ` Bakul Shah
2007-10-09 7:11 ` Peter Danenberg
2007-10-09 12:05 ` Matthias Benkard
[not found] ` <470b1b30$0$11022$4c368faf@roadrunner.com>
2007-10-09 6:34 ` gnuist006
[not found] ` <1191911662.983658.79540@g4g2000hsf.googlegroups.com>
2007-10-09 10:00 ` Tim Bradshaw
[not found] ` <1191924032.449463.13290@22g2000hsm.googlegroups.com>
2007-10-09 10:13 ` Diez B. Roggisch
2007-10-09 12:50 ` Matthias Blume
2007-10-09 13:50 ` josephoswald+gg@gmail.com
2007-10-09 19:20 ` gnuist006
[not found] ` <m2641g1mgn.fsf@my.address.elsewhere>
2007-10-09 19:37 ` gnuist006
2007-10-09 20:41 ` Chung-chieh Shan
2007-10-10 0:47 ` Matthias Blume
[not found] ` <ok5tt4-2ij.ln1@mantle.rutgers.edu>
2007-10-10 4:52 ` Marlene Miller
[not found] ` <1191957606.187050.272820@v3g2000hsg.googlegroups.com>
2007-10-09 20:32 ` .
2007-10-09 18:18 ` George Neuner
[not found] ` <m5ang3h11oorvsrkit4q1moi6mirofbdbr@4ax.com>
2007-10-09 19:24 ` gnuist006
2007-10-09 19:27 ` Jeff M.
2007-10-10 4:39 ` Marlene Miller
[not found] ` <8IYOi.658994$p47.379449@bgtnsc04-news.ops.worldnet.att.net>
2007-10-10 4:46 ` Marlene Miller
2007-10-10 7:11 ` Dmitri Minaev
2007-10-10 10:49 ` David Kastrup
[not found] ` <85zlyrutux.fsf@lola.goethe.zz>
2007-10-11 7:18 ` George Neuner
[not found] ` <rqhrg3d2thcqaip790k1eb6t8cdk2g8d8v@4ax.com>
2007-10-12 19:17 ` David Kastrup
[not found] ` <85lka8p2h4.fsf@lola.goethe.zz>
2007-10-13 3:11 ` Rob Warnock
2007-10-13 3:13 ` Paul Rubin
[not found] ` <1191931524.047907.98040@v3g2000hsg.googlegroups.com>
2007-10-13 23:14 ` Alex Martelli
[not found] ` <see-36543E.18592809102007@lust.ihug.co.nz>
2007-10-09 6:24 ` gnuist006
[not found] ` <1191911045.604596.50110@19g2000hsx.googlegroups.com>
2007-10-09 13:21 ` Joel J. Adamson
2007-10-14 22:56 ` Lawrence D'Oliveiro
2007-10-15 4:17 ` George Neuner
2007-10-09 5:15 gnuist006
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='see-36543E.18592809102007__25592.2155957252$1191912562$gmane$org@lust.ihug.co.nz' \
--to=see@sig.below \
--cc=help-gnu-emacs@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.