Kevin S. Millikin <[EMAIL PROTECTED]> 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 _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell