no continuations

Tomasz Zielonka t.zielonka at students.mimuw.edu.pl
Wed Dec 31 12:58:55 EST 2003


On Tue, Dec 30, 2003 at 10:31:57PM -0500, ajb at spamcop.net wrote:
> G'day all.
> 
> Quoting Tomasz Zielonka <t.zielonka at 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


More information about the Haskell mailing list