On Tue, Dec 30, 2003 at 10:31:57PM -0500, [EMAIL PROTECTED] wrote: > G'day all. > > Quoting Tomasz Zielonka <[EMAIL PROTECTED]>: > > > 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 _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell