no continuations

[Amr A Sabry]

Kevin S. Millikin <kmillikin at atcorp.com> wrote:

> Oh, sure.  I didn't mean to quibble with the idea that continuations 
> are computational effects.  Just wanted to point out that (I think) you 
> can't macro express mutation with call/cc, unless you've already got 
> mutation anyway.

That's right: call/cc alone can't express assignments. 

But shift + reset will give you assignments. See Gunter, Remy, and
Riecke, FPCA 95 for a clever encoding. 

--Amr