псы в рапиде » from archive
We alert to the misconception of explicit, or first-class, undelimited continuations as ordinary functions. The confusion is wide-spread, for example, in the description and the code for the Cont monad in Haskell's monad transformer libraries. We argue for a better call/cc interface, to hopefully reduce the bewilderment commonly associated with that control operator. We describe the proper undelimited continuation monad, pointing out that Haskell's Cont is actually the monad for delimited continuations. Delimited and undelimited continuations are vastly different. Delimited continuations are isomorphic to functions, they do return the result and can be composed. We emphasize the great help of types in understanding continuations and avoiding their surprises. ‎- псы в рапиде
all hail OLEG ‎- псы в рапиде
Whereas an undelimited continuation is the meaning of the whole context, a delimited continuation is the meaning of context's prefix, mapping a context to a wider one. ‎- псы в рапиде