[Haskell-cafe] callCC inside expression

martin martin.drautzburg at web.de
Thu Jul 24 18:41:02 UTC 2014


Hello all

I recently saw a video on call/cc in Scheme, where call/cc was used inside an expression and call/cc faithfully figured
out the rest of the computation.

I tried the same in haskell, but was bitten badly. Then I looked at the type signature and learned that call/cc only
works inside a continuation monad (if I am not mistaken).

Is this correct and why is that so? Are scheme's call/cc and haskell's callCC semantically different?


More information about the Haskell-Cafe mailing list