ในบทความวิกิพีเดียว่าด้วยทัวริงครบถ้วนระบุว่า:
แคลคูลัสแลมบ์ดาที่ยังไม่พิมพ์คือทัวริงสมบูรณ์ แต่แคลคูลัสแลมบ์ดาที่พิมพ์ไว้จำนวนมากรวมถึง System F ไม่ใช่ ค่าของระบบที่พิมพ์นั้นขึ้นอยู่กับความสามารถในการแสดงโปรแกรมคอมพิวเตอร์ทั่วไปส่วนใหญ่ในขณะที่ตรวจพบข้อผิดพลาดเพิ่มเติม
ตัวอย่างของฟังก์ชันที่คำนวณได้ทั้งหมดที่ไม่สามารถคำนวณได้โดยระบบ Fคืออะไร
นอกจากนี้เนื่องจาก hindley-milner คือ:
ข้อ จำกัด ของระบบ F
เพราะความจริงที่ว่า:
การตรวจสอบประเภทไม่สามารถอธิบายได้สำหรับตัวแปรสไตล์แกงกะหรี่ของ System F กล่าวคือสิ่งหนึ่งที่ขาดคำอธิบายประกอบการพิมพ์ที่ชัดเจน
นี่หมายความว่าระบบแคลคูลัสแลมบ์ดาต้นแบบของฮินด์ลีย์ - มิลเนอร์นั้นไม่ได้สมบูรณ์เหมือนกันหรือไม่?
หากเป็นจริงเนื่องจากhaskellนั้นได้รับการทำให้สมบูรณ์อย่างสมบูรณ์และเรารู้ว่ามันเป็นพื้นฐานคือแคลคูลัสแลมบ์ดาและระบบการพิมพ์ฮินด์ลีย์ - มิลเนอร์คุณสมบัติใดที่ไม่ได้ปรากฏในแคลคูลัสแลมบ์ดา
system T vs. system F
ฉันพบสิ่งที่ตอบคำถามย่อยสุดท้ายของฉันที่ rephrased ที่นี่เป็นอย่างไร haskell เพิ่มทัวริงสมบูรณ์เพื่อระบบ F