Re: [stack] Typed Concatenative Continuations

Christopher Diggins <[email protected]> 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