[Haskell-cafe] Can we come out of a monad?
jwlato at gmail.com
Tue Aug 10 05:13:18 EDT 2010
On Tue, Aug 10, 2010 at 6:48 AM, Edward Z. Yang <ezyang at mit.edu> wrote:
> Excerpts from Luke Palmer's message of Tue Aug 10 01:04:04 -0400 2010:
>> Except, of course, you want the signature
>> evalCont :: Cont r a -> a
>> Which is not possible. But I am not sure where all this discussion is
>> coming from, Maybe and (r ->) cannot be broken out of. Isn't that
>> example enough?
> I'm confused... that's the type of evalCont, no?
Except that I messed up and "evalCont" doesn't compile. The type
would have to be
evalCont :: Cont a a -> a
More information about the Haskell-Cafe