# Typed Concatenative Continuations

## Christopher Diggins — 2007-06-05 20:28:46

    There is an interesting discussion on the type of a

    call-with-current-continuation operation in Cat at

    lambda-the-ultimate.org ( http://lambda-the-ultimate.org/node/2281 )

    Christopher

## William Tanksley, Jr — 2007-06-05 21:07:55

    Christopher Diggins <cdiggins@...> wrote:

     > There is an interesting discussion on the type of a

    > call-with-current-continuation operation in Cat at

    > lambda-the-ultimate.org ( http://lambda-the-ultimate.org/node/2281 )

     Yes, you should definitely read the paper they mention on delimited

    continuations. They're phenomenally more generally useful than

    conventional continuations. They're also very easy to implement in a

    stack language, although typechecking them would present some

    interesting challenges (I put some thought into that a while ago --

    essentially, you want to make sure that the runtime changes in control

    flow will always land on a valid stack state; I didn't come up with

    any concrete solutions, but I do suspect it won't be extremely hard).

     > Christopher

     -Billy

## William Tanksley, Jr — 2007-06-05 22:14:23

    I claimed that you should read about delimited continuations. I

    continue to assert that, but I have to say that the link they gave you

    was pretty hard to use to learn about that (although interesting in

    its own right!).

    A better link is http://citeseer.ist.psu.edu/139515.html.

    -Billy