สารบัญ:
คำจำกัดความ - การอนุมานประเภทหมายถึงอะไร
การอนุมานประเภทคือการลดชนิดข้อมูลของนิพจน์เฉพาะในภาษาการเขียนโปรแกรมโดยอัตโนมัติซึ่งมักจะทำในเวลารวบรวม มันเกี่ยวข้องกับการวิเคราะห์โปรแกรมแล้วอนุมานประเภทที่แตกต่างกันของการแสดงออกบางส่วนหรือทั้งหมดในโปรแกรมนั้นเพื่อให้โปรแกรมเมอร์ไม่จำเป็นต้องป้อนข้อมูลอย่างชัดเจนและกำหนดประเภทข้อมูลทุกครั้งที่มีการใช้ตัวแปรในโปรแกรมTechopedia อธิบายการอนุมานประเภท
การอนุมานประเภทมักจะเป็นคุณลักษณะของภาษาโปรแกรมคอมไพเลอร์แทนที่จะเป็นวัตถุเชิงวัตถุ คอมไพเลอร์หรือล่ามต้องการข้อมูลเพียงเล็กน้อยเท่านั้นรวมถึงบริบทเพื่อที่จะทราบว่าชนิดข้อมูลของตัวแปรหรือนิพจน์คืออะไร
อัลกอริทึมการอนุมานพยายามกำหนดประเภทอาร์กิวเมนต์รวมถึงประเภทค่าส่งคืนจากนั้นจะพยายามค้นหาชนิดข้อมูลที่เฉพาะเจาะจงที่สุดที่ใช้งานได้กับอาร์กิวเมนต์ทั้งหมด เป็นตัวอย่างพื้นฐานพิจารณาฟังก์ชัน Foo (a, b) = x + y; คอมไพเลอร์รู้ว่าตัวดำเนินการ "+" ใช้สองจำนวนเต็มและส่งกลับจำนวนเต็มดังนั้นตอนนี้คอมไพเลอร์หรือล่ามสามารถอนุมานได้ว่าฟูยังมีประเภทจำนวนเต็ม
