对于无法用cont完成的callCC，我能做些什么？

Question

我真的很难理解callCC。我得到了延续的力量，在我的一些项目中我一直在使用这个概念来创建很酷的概念。但我从未需要使用比cont :: ((a->r)->r)-> Cont r a更强大的功能。

在使用它之后，这很有道理，为什么他们把Cont称为所有单子的母亲，然而，我不明白什么时候我需要使用callCC，这正是我的问题。

Answer 1

callCC为您提供了“早期返回”语义，但使用的是一元上下文。

假设您想要doOne，如果返回True，则立即停止，否则您将继续使用doTwo和doThree

doOne :: Cont r Bool
doTwo :: Cont r ()
doThree :: Cont r ()

doThings :: Cont r ()
doThings = do
    one <- doOne
    if one
        then pure ()
        else do
            doTwo
            doThree

看到那个if分支了吗？一个分支不是那么糟糕，可以处理，但想象有多个这样的点，你只是想保释？很快就会变得很难看。

使用callCC，您可以获得“早期返回”：您可以在分支点处跳转，而不必嵌套计算的其余部分：

doThings = callCC \ret -> do
    one <- doOne
    when one $ ret ()
    doTwo
    doThree

更令人愉快的阅读！

更重要的是，因为这里的ret不是一个特殊的语法(就像C类语言中的return那样)，而只是一个和其他语言一样的值，所以您也可以将它传递给其他函数！然后，这些函数可以执行所谓的“非本地返回”，即它们可以“停止”doThings计算，甚至可以从多个嵌套调用深度停止。例如，我可以将对doOne结果的检查分解为一个单独的函数checkOne，如下所示：

checkOne ret = do
    one <- doOne
    when one $ ret ()

doThings = callCC \ret -> do
    checkOne ret
    doTwo
    doThree