ฉันจะทำอย่างไรกับ callCC ที่ไม่สามารถดำเนินการต่อได้

ฉันกำลังต่อสู้กับความเข้าใจ callCC จริงๆ ฉันได้รับพลังแห่งการสานต่อและฉันใช้แนวคิดนี้ในบางโครงการของฉันเพื่อสร้างแนวคิดเจ๋ง ๆ cont :: ((a->r)->r)-> Cont r aแต่ไม่เคยมีฉันต้องการที่จะใช้สิ่งที่มีความสามารถมากกว่า

หลังจากใช้แล้วมันสมเหตุสมผลมากว่าทำไมพวกเขาถึงเรียก Cont Cont ว่าเป็นแม่ของ monads ทั้งหมดใช่เลยฉันไม่เข้าใจว่าจะต้องใช้เมื่อไรcallCCและนั่นคือคำถามของฉัน

callCC ช่วยให้คุณ "กลับต้น" ความหมาย แต่ในบริบท monadic

สมมติว่าคุณต้องการ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-like) แต่มีค่าเหมือนกันคุณสามารถส่งต่อไปยังฟังก์ชั่นอื่น ๆ ได้เช่นกัน! และฟังก์ชั่นเหล่านั้นสามารถทำสิ่งที่เรียกว่า "การส่งคืนที่ไม่ใช่ของท้องถิ่น" - นั่นคือพวกเขาสามารถ "หยุด" การdoThingsคำนวณแม้กระทั่งจากการเรียกซ้อนหลาย ๆ ครั้ง ตัวอย่างเช่นฉันสามารถdoOneแยกแยะการตรวจสอบผลลัพธ์ของฟังก์ชันแยกต่างหากcheckOneเช่นนี้:

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

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