[Haskell-cafe] How to abort a computation within Continuation Monad?
golubovsky at gmail.com
Tue Nov 20 00:18:52 EST 2007
I have been using plain non-monadic CPS for a while in my web-browser
related stuff. Now I am tempted to switch from plain CPS to
syntactically sweetened monadic style based on Continuation Monad, but
I feel stuck with one important issue that I need an advice on.
In plain CPS, I may write:
type CPS x y = (y -> x) -> x
a :: x
a = f1 x $ \r ->
case r of
foo1 -> bar -- of type x
foo2 -> f2 r $ \p -> ... -- something finally evaluating to a
value of type x
So, if at any time I return a value of a final type (x) instead of
doing something with given continuation,
I abort/suspend the whole computation. This can happen at any function
call depth. I can also save the continuation reference in some
persistent place, to resume the remainder of computation later.
Now, I am trying to do the same with a Continuation Monad. But does
anything similar exist in this monad? callCC is not exactly what I
need because it only helps abort the inner computation, and what is
returned, is a monadic value, not a final value. Besides, callCC
defines a name of the function corresponding to the current
continuation, and in order to use it, this name should be visible.
If I have
callCC $ \exit -> do
I cannot jump to `exit' from within foo unless `exit' is given to foo
as an argument.
Anywhere on the Web
More information about the Haskell-Cafe