จาก combinators มุมมองที่เป็นประโยชน์เป็นชนิดของการเขียนโปรแกรมสร้างที่ช่วยให้คุณรวบรวมชิ้นส่วนของตรรกะในมารยาทที่น่าสนใจและมักจะสูง โดยทั่วไปแล้วการใช้พวกมันขึ้นอยู่กับความเป็นไปได้ของความสามารถในการแพ็คโค้ดที่สามารถใช้งานได้ลงในวัตถุซึ่งมักจะเรียกว่า (สำหรับเหตุผลทางประวัติศาสตร์) ฟังก์ชั่นแลมบ์ดาหรือการแสดงออกแลมบ์ดา
ตัวอย่างง่ายๆของ combinator (มีประโยชน์) คือฟังก์ชั่นแลมบ์ดาสองฟังก์ชั่นที่ไม่มีพารามิเตอร์และสร้างฟังก์ชันใหม่ตามลำดับ Combinator ที่แท้จริงมีลักษณะเป็น pseudocode ทั่วไปดังนี้:
func in_sequence(first, second):
lambda ():
first()
second()
สิ่งสำคัญที่ทำให้ combinator นี้เป็นฟังก์ชั่นนิรนาม (ฟังก์ชั่นแลมบ์ดา) ในบรรทัดที่สอง; เมื่อคุณโทร
a = in_sequence(f, g)
วัตถุที่เป็นผลลัพธ์ a ไม่ใช่ผลลัพธ์ของการเรียกใช้ f () ก่อนแล้วจึง g () แต่เป็นวัตถุที่คุณสามารถเรียกใช้ในภายหลังเพื่อดำเนินการ f () และ g () ตามลำดับ:
a() // a is a callable object, i.e. a function without parameters
คุณสามารถมี combinator ที่รันโค้ดบล็อกสองชุดในเวลาเดียวกันในทำนองเดียวกัน:
func in_parallel(first, second):
lambda ():
t1 = start_thread(first)
t2 = start_thread(second)
wait(t1)
wait(t2)
แล้วอีกครั้ง
a = in_parallel(f, g)
a()
สิ่งที่เจ๋งคือ 'in_parallel' และ 'in_sequence' เป็นทั้ง combinators ที่มีประเภท / ลายเซ็นเหมือนกันนั่นคือพวกเขาทั้งสองใช้วัตถุฟังก์ชันไร้พารามิเตอร์สองตัวและส่งคืนวัตถุใหม่ จริงๆคุณสามารถเขียนสิ่งต่าง ๆ เช่น
a = in_sequence(in_parallel(f, g), in_parallel(h, i))
และทำงานได้ตามที่คาดไว้
โดยพื้นฐานแล้วผู้ประสานจะอนุญาตให้คุณสร้างโฟลว์การควบคุมของโปรแกรม (เหนือสิ่งอื่นใด) ในขั้นตอนและยืดหยุ่น ตัวอย่างเช่นหากคุณใช้ combinator in_parallel (.. ) เพื่อเรียกใช้ parallelism ในโปรแกรมของคุณคุณสามารถเพิ่มการดีบักที่เกี่ยวข้องกับการใช้งานของ in_parallel combinator ได้ หลังจากนั้นหากคุณสงสัยว่าโปรแกรมของคุณมีข้อผิดพลาดเกี่ยวกับการขนานคุณสามารถนำมาใช้ใหม่ได้ใน in_parallel:
in_parallel(first, second):
in_sequence(first, second)
และด้วยหนึ่งจังหวะส่วนที่ขนานทั้งหมดได้รับการแปลงเป็นลำดับ!
Combinators มีประโยชน์มากเมื่อใช้งานถูกต้อง
อย่างไรก็ตาม Combinator Y ไม่จำเป็นต้องใช้ในชีวิตจริง มันเป็นคอมบิเนเตอร์ที่ให้คุณสร้างฟังก์ชั่นแบบเรียกซ้ำได้เองและคุณสามารถสร้างมันได้อย่างง่ายดายในภาษาสมัยใหม่ใด ๆ โดยไม่ต้องคอมบิเนเตอร์ Y