Was kann ich mit callCC tun, was mit cont nicht möglich ist?

Ich habe wirklich große Probleme damit, callCC zu verstehen. Ich bekomme die Kraft von Fortsetzungen und habe das Konzept in einigen meiner Projekte verwendet, um coole Konzepte zu erstellen. Aber ich musste nie etwas mit größeren Fähigkeiten als verwenden cont :: ((a->r)->r)-> Cont r a.

Nachdem ich es benutzt habe, ist es sehr sinnvoll, warum sie die Cont-Monade die Mutter aller Monaden nennen. NOCH, ich verstehe nicht, wann ich sie brauchen würde callCC, und genau das ist meine Frage.

callCC gibt Ihnen "Early Return" -Semantik, aber in einem monadischen Kontext.

Angenommen , Sie wollten doOne, und wenn das zurückkehrt True, erhalten Sie sofort stoppen, sonst Sie gehen auf doTwound 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

Sehen Sie diese ifVerzweigung dort? Ein Zweig ist nicht so schlecht, könnte behandelt werden, aber stellen Sie sich vor, es gibt mehrere solcher Punkte, an denen Sie nur auf Kaution gehen möchten? Das wird sehr schnell sehr hässlich.

Mit können callCCSie "vorzeitige Rückkehr" haben: Sie kassieren am Verzweigungspunkt und müssen den Rest der Berechnung nicht verschachteln:

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

Viel angenehmer zu lesen!

Noch wichtiger ist, da es sich rethier nicht um eine spezielle Syntax (wie returnin C-ähnlichen Sprachen) handelt, sondern nur um einen Wert wie jeden anderen, können Sie ihn auch an andere Funktionen übergeben! Und diese Funktionen können dann eine sogenannte "nicht-lokale Rückgabe" ausführen - dh sie können die doThingsBerechnung "stoppen" , selbst wenn mehrere verschachtelte Aufrufe tief sind. Zum Beispiel könnte ich die Überprüfung des doOneErgebnisses in eine separate Funktion checkOnewie diese zerlegen:

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

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