Kevin S. Millikin <kmillikin@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