תוכן עניינים:
הגדרה - מה המשמעות של התייחסות מסוג?
הסקת סוגים היא הניכוי האוטומטי של סוגי הנתונים של ביטויים ספציפיים בשפת תכנות, הנעשים בדרך כלל בזמן קומפילציה. זה כרוך בניתוח של תוכנית ואז להסיק את הסוגים השונים של ביטויים מסוימים או של כולם בתוכנית, כך שהתכנת לא צריך להזין ולהגדיר במפורש סוגי נתונים בכל פעם שמשתמשים בתוכנית.Techopedia מסביר את ההפרעות מסוג
הסקת סוגים היא לרוב תכונה מהדר של שפות תכנות פונקציונליות ולא של מונחות עצמים. המהדר או המתורגמן זקוק למידע מינימלי בלבד כמו גם להקשר על מנת להבין מהו סוג הנתונים של משתנה או ביטוי.
אלגוריתם ההיקש מנסה לקבוע את סוגי הארגומנטים כמו גם את סוג ערך ההחזרה ואז הוא מנסה למצוא את סוג הנתונים הספציפי ביותר שעובד עם כל הארגומנטים. כדוגמה בסיסית, שקול את הפונקציה Foo (a, b) = x + y; המהדר יודע שמפעיל "+" לוקח שני מספרים שלמים וגם מחזיר מספר שלם, אז עכשיו המהדר או המתורגמן יכולים להסיק שלפו יש גם את המספר שלם מסוג.
