[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: The fundamental concept of continuations
From: |
Joel J. Adamson |
Subject: |
Re: The fundamental concept of continuations |
Date: |
Tue, 09 Oct 2007 09:21:51 -0400 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/23.0.0 (gnu/linux) |
gnuist006@gmail.com writes:
> On Oct 8, 10:59 pm, Barb Knox <s...@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