การตอบในเงื่อนไข Clojure นี่คือตัวอย่างบางส่วนจากscreencast ของ Sean Devlin :
(def a-promise (promise))
(deliver a-promise :fred)
(def f (future (some-sexp)))
(deref f)
โปรดทราบว่าในสัญญาคุณจะส่งมอบค่าที่คุณเลือกอย่างชัดเจนในการคำนวณ:fredในภายหลัง ( ในกรณีนี้) ในทางกลับกันอนาคตกำลังถูกเผาผลาญในสถานที่เดียวกับที่สร้างขึ้น some-exprมีการเปิดตัวคงจะอยู่เบื้องหลังและการคำนวณในตีคู่ (ในที่สุด) แต่ถ้ามันยังคงอยู่ unevaluated ตามเวลาที่มันมีการเข้าถึงบล็อกด้ายจนกว่าจะสามารถใช้ได้
แก้ไขเพื่อเพิ่ม
เพื่อช่วยแยกความแตกต่างระหว่างคำสัญญากับอนาคตให้สังเกตสิ่งต่อไปนี้:
สัญญา
- คุณสร้างไฟล์
promise. ขณะนี้วัตถุสัญญานั้นสามารถส่งผ่านไปยังเธรดใดก็ได้
- คุณดำเนินการคำนวณต่อไป สิ่งเหล่านี้อาจเป็นการคำนวณที่ซับซ้อนมากซึ่งเกี่ยวข้องกับผลข้างเคียงการดาวน์โหลดข้อมูลการป้อนข้อมูลของผู้ใช้การเข้าถึงฐานข้อมูลคำสัญญาอื่น ๆ ไม่ว่าคุณจะต้องการอะไรก็ตาม รหัสจะมีลักษณะเหมือนกับรหัสเมนไลน์ของคุณในโปรแกรมใด ๆ
- เมื่อคุณทำเสร็จแล้วคุณจะได้
deliverผลลัพธ์ไปยังวัตถุสัญญานั้น
- รายการใด ๆ ที่พยายามทำ
derefตามสัญญาก่อนที่คุณจะคำนวณเสร็จจะถูกบล็อกจนกว่าคุณจะทำเสร็จ เมื่อคุณทำเสร็จและคุณได้deliverแก้ไขสัญญาแล้วคำสัญญาจะไม่ปิดกั้นอีกต่อไป
อนาคต
- คุณสร้างอนาคตของคุณ อนาคตของคุณส่วนหนึ่งคือนิพจน์สำหรับการคำนวณ
- อนาคตอาจดำเนินการพร้อมกันหรือไม่ก็ได้ สามารถกำหนดเธรดได้อาจมาจากพูล มันทำได้แค่รอและไม่ทำอะไรเลย จากมุมมองของคุณคุณไม่สามารถบอกได้
- ในบางจุดคุณ (หรือหัวข้ออื่น)
derefเป็นอนาคต หากการคำนวณเสร็จสมบูรณ์แล้วคุณจะได้รับผลลัพธ์ของมัน หากยังไม่เสร็จสมบูรณ์คุณจะบล็อกจนกว่าจะมี (สันนิษฐานว่าหากยังไม่เริ่มทำงานแสดงderefว่าเริ่มดำเนินการแล้ว แต่ก็ไม่รับประกันเช่นกัน)
ในขณะที่คุณสามารถทำให้นิพจน์ในอนาคตมีความซับซ้อนเหมือนกับโค้ดที่เป็นไปตามการสร้างคำสัญญา แต่ก็น่าสงสัยว่าเป็นที่พึงปรารถนา ซึ่งหมายความว่าฟิวเจอร์สเหมาะกับการคำนวณที่รวดเร็วและสามารถทำงานในเบื้องหลังได้มากขึ้นในขณะที่สัญญานั้นเหมาะกับเส้นทางการดำเนินการที่มีขนาดใหญ่และซับซ้อน ดูเหมือนสัญญาในแง่ของการคำนวณที่มีอยู่มีความยืดหยุ่นมากขึ้นเล็กน้อยและมุ่งเน้นไปที่ผู้สร้างสัญญาที่ทำงานและเธรดอื่นที่เกี่ยวกับการเก็บเกี่ยว ฟิวเจอร์สมุ่งเน้นไปที่การเริ่มต้นเธรดโดยอัตโนมัติ (โดยไม่มีค่าใช้จ่ายที่น่าเกลียดและเกิดข้อผิดพลาดได้ง่าย) และดำเนินต่อไปกับสิ่งอื่น ๆ จนกว่าคุณ - เธรดต้นทาง - ต้องการผลลัพธ์