ผู้ทำปฏิกิริยาโต้ตอบได้เสนอให้เป็นเป้าหมายในการรวบรวมสำหรับ calcul-แคลคูลัสก่อน กระดาษนั้นใช้แคลคูลัสเต็ม full มันเป็นที่รู้จักกันว่ามันเป็นไปได้ที่จะเพิ่มประสิทธิภาพการเข้ารหัส - สุทธิของแคลคูลัส λ- แคลคูลัสสำหรับเซตย่อยของ terms- ข้อตกลงที่เป็นประเภท EAL กระดาษนั้นใช้ส่วนย่อยของ calcul-แคลคูลัสโดยแปลข้อตกลง EAL-typeable ให้กับอวนปฏิสัมพันธ์ที่มีเนื้อหาที่ซับซ้อนกว่า combinators ปฏิสัมพันธ์เนื่องจากใช้ตัวอักษรที่ไม่มีที่สิ้นสุดของฉลากเพื่อจัดกลุ่มนักทำสำเนา
ฉันสงสัยว่าเป็นไปได้หรือไม่ที่จะรวมทั้งข้อเสนอเข้าด้วยกัน นั่นคือมีการเข้ารหัสสำหรับอัลกอริธึมนามธรรม - นั่นคือ terms- เงื่อนไขที่เป็น EAL-typeable - เป็น combinators ปฏิสัมพันธ์หรือไม่