รายการปัญหาความซับซ้อน (ยังไม่ได้แก้ไข) ที่เกิดจาก PL

ปัญหาความซับซ้อนของการคำนวณแบบเปิดที่เกิดขึ้นจากภาษาการเขียนโปรแกรมโดยเฉพาะการวิเคราะห์และการคอมไพล์คืออะไร ฉันกำลังมองหาปัญหาในบรรทัดของ "ความซับซ้อนของเวลาของการอนุมานแบบ Hindley-Milner" หรือ "ความซับซ้อนของเวลาของ 0CFA" (แม้ว่าทั้งคู่จะได้รับการแก้ไขปัญหา)

Pippenger (1) จากปี 1996 แสดงให้เห็นว่า (ภายใต้สมมติฐานบาง อย่าง ) ภาษาการเขียนโปรแกรมที่ใช้งานได้อย่างเข้มงวด (CBV) นั้นช้ากว่าภาษาที่จำเป็น มันเปิดอยู่ว่าผลลัพธ์ของ Pippenger สามารถทำให้เป็นภาษาที่ใช้งานได้อย่างขี้เกียจดังที่ได้กล่าวไว้ใน (2)

Pippenger กำหนดสมมติฐานที่ทำให้เข้าใจง่ายสองข้อ (การคำนวณแบบออนไลน์และอะตอมมิกซิตี้ของอินพุต) เปิดอยู่ไม่ว่าจะสามารถลบได้ คาดเดา Pippenger ว่ามันสามารถทำได้ แต่เตือน: "[s] UCH ผล [ ... ] ดูเหมือนว่าไกลเกินเอื้อมของวิธีการที่ใช้ได้ในขณะนี้ในทฤษฎีความซับซ้อนคำนวณ"

ดูคำตอบของ Campbell ใน (3) และบันทึกของ Ben-Amram (4)

^{1. เอ็น Pippenger, เพียวกับ Impure เสียงกระเพื่อม}

^{2. อาร์นกกรัมโจนส์โอเดอมัวร์รีบเพิ่มเติมความเร็วน้อย: ขี้เกียจเมื่อเทียบกับการประเมินผลความกระตือรือร้น}

^{3. Stack Overflow ประสิทธิภาพของการเขียนโปรแกรมที่ใช้งานได้จริง}

^{4. นเบนอัมรามหมายเหตุเกี่ยวกับ Pippenger ของการเปรียบเทียบบริสุทธิ์และบริสุทธิ์ LISP}