[Haskell-cafe] Re: How to abort a computation within Continuation Monad?

2007-11-21 Thread Gleb Alexeyev
Derek Elkins wrote: As Derek Elkins has written, one of the options is to use delimited continuations, see http://research.microsoft.com/~simonpj/papers/control/ for Haskell implementation. I made no such suggestion. I didn't mean that you suggested using implementation referenced

Re: [Haskell-cafe] Re: How to abort a computation within Continuation Monad?

2007-11-21 Thread Don Stewart
gleb.alexeev: Derek Elkins wrote: As Derek Elkins has written, one of the options is to use delimited continuations, see http://research.microsoft.com/~simonpj/papers/control/ for Haskell implementation. I made no such suggestion. I didn't mean that you suggested using

[Haskell-cafe] Re: How to abort a computation within Continuation Monad?

2007-11-20 Thread Gleb Alexeyev
Dimitry Golubovsky wrote: If I have callCC $ \exit - do foo ... I cannot jump to `exit' from within foo unless `exit' is given to foo as an argument. As Derek Elkins has written, one of the options is to use delimited continuations, see

Re: [Haskell-cafe] Re: How to abort a computation within Continuation Monad?

2007-11-20 Thread Derek Elkins
On Tue, 2007-11-20 at 13:22 +0200, Gleb Alexeyev wrote: Dimitry Golubovsky wrote: If I have callCC $ \exit - do foo ... I cannot jump to `exit' from within foo unless `exit' is given to foo as an argument. As Derek Elkins has written, one of the options is to use