คำถามติดแท็ก type-systems

ฉันพยายามเรียนรู้เพิ่มเติมเกี่ยวกับการตรวจสอบประเภทโปรแกรมทั้งหมดและระบบการอนุมานประเภทที่ใช้ข้อมูลจากไซต์การเรียกใช้ฟังก์ชันเพื่อคำนวณข้อมูลประเภท (นอกเหนือจากวิธีมาตรฐานของการใช้ตัวฟังก์ชัน) ตัวอย่างเช่นอัลกอริทึมดังกล่าวอาจใช้การเรียกใช้ฟังก์ชันต้องการfoo(1)อนุมานว่าฟังก์ชันในfooรับอาร์กิวเมนต์จำนวนเต็ม เห็นได้ชัดว่าสิ่งนี้จะทำให้การอนุมานมีความซับซ้อนมากและทำให้การตรวจสอบไม่ใช่แบบแยกส่วน อย่างไรก็ตามฉันไม่ได้โชคดีในการหางานวิจัยเกี่ยวกับวิธีการนี้อาจเป็นเพราะฉันไม่ทราบคำศัพท์ที่ถูกต้องเพื่ออธิบายสิ่งที่ฉันพูดถึง ตัวชี้ใด ๆ

9 pl.programming-languages  type-theory  type-inference  type-systems