계속해서 할 수없는 callCC로 무엇을 할 수 있습니까?

callCC를 이해하는 데 정말로 어려움을 겪고 있습니다. 나는 Continuations의 힘을 얻었고 멋진 컨셉을 만들기 위해 일부 프로젝트에서 컨셉을 사용하고 있습니다. 그러나보다 큰 기능을 가진 것을 사용할 필요는 없었습니다 cont :: ((a->r)->r)-> Cont r a.

그것을 사용한 후에는 왜 그들이 모든 모나드의 어머니 인 Cont Monad라고 부르는지 이해가 되겠지만, 그래도 언제 사용해야하는지 모르겠는데, 이것이 callCC바로 제 질문입니다.

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여기 return에 C와 같은 언어 와 같은 특별한 구문이 아니라 다른 것과 같은 값이기 때문에 다른 함수에도 전달할 수 있다는 것입니다. 그런 다음 이러한 함수는 "비 로컬 리턴"이라는 것을 수행 할 수 있습니다. 즉 doThings, 여러 개의 중첩 된 호출 에서조차 계산을 "중지"할 수 있습니다 . 예를 들어, doOne의 결과를 다음 checkOne과 같은 별도의 함수로 검사하지 않을 수 있습니다 .

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

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