[Haskell-cafe] callCC inside expression
martin.drautzburg at web.de
Thu Jul 24 18:41:02 UTC 2014
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