12 Sep
2010
12 Sep
'10
12:59 p.m.
On Sun, Sep 12, 2010 at 1:19 AM, Gregory Crosswhite
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