The fundamental concept of continuations

Joel J. Adamson jadamson at partners.org
Tue Oct 9 15:21:51 CEST 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