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