On Tue, Dec 30, 2003 at 10:31:57PM -0500, ajb@spamcop.net wrote:
G'day all.
Quoting Tomasz Zielonka <t.zielonka@students.mimuw.edu.pl>:
BTW, the factorial example on http://www.haskell.org/hawiki/MonadicContinuationPassingStyle seems rather pointless to me, because it doesn't use any methods of MonadCont (like callCC).
The only point of the factorial example is to show how much nicer it looks than the version in ContinuationPassingStyle. Which is useless from the point of view of expressivity, but it does show how CPS and recursion can work together.
There are reasons for using CPS as an implementation technique which have nothing to do with call/cc, though this example doesn't really show any of them.
OK. I think I may be getting it now. The point is that MonadCont takes care of passing the continuation, so you don't have to do it by hand. Is that right?
Cheers, Andrew Bromage
Best regards, Happy New Year, Tom -- .signature: Too many levels of symbolic links