The fundamental concept of continuations
Joel J. Adamson
jadamson at partners.org
Tue Oct 9 09:21:51 EDT 2007
gnuist006 at gmail.com writes:
> On Oct 8, 10:59 pm, Barb Knox <s... at sig.below> 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
More information about the Python-list
mailing list