13 Sep
2010
13 Sep
'10
12:59 a.m.
On Sun, Sep 12, 2010 at 1:19 AM, Gregory Crosswhite <gcross@phys.washington.edu> wrote:
That's true, it just seems to me like at that point the spirit of the continuation monad is being violated since the final continuation is never actually called. That isn't necessarily a big deal, but it is the kind of behavior that could bite someone if they weren't aware or forgot about it.
I guess you could newtype ConT to make GotoT, and then provide your own runner with `return` as the continuation, and then that detail doesn't escape. Or provide the `goto` combinator in the same module as a ContT runner which auto-passes a vacuous final continuation. Antoine