הבעיה שטיפוסים גנריים פותרים

דמיינו שאתם זקוקים לפונקציה שפשוט מחזירה כל ערך שמעבירים לה: פונקציית זהות. עם הטיפוסים שאתם מכירים עד כה, יש לכם שתי אפשרויות, ושתיהן גרועות.

אפשרות אחת: לכתוב עותק נפרד לכל טיפוס. גופי הפונקציות זהים; רק ההערות שונות:

local function echoNumber(value: number): number
    return value
end

local function echoString(value: string): string
    return value
end

כל טיפוס חדש פירושו עותק נוסף, ובאג שתוקן באחד מהם צריך לתקן בכולם. זו בדיוק הכפילות שכתיבת פונקציות נועדה למנוע.

אפשרות שתיים: לאחד אותם לפונקציה אחת עם טיפוס any:

local function echo(value: any): any
    return value
end

עכשיו פונקציה אחת מטפלת בהכול, אבל המחיר הוא בטיחות הטיפוסים. כשקוראים ל־echo("hello"), הבודק כבר לא יודע שהתוצאה היא מחרוזת. הוא יודע רק שמדובר ב־any, לכן ההשלמה האוטומטית נעלמת ושגיאות טיפוסים חומקות: הקשר בין מה שנכנס לבין מה שיוצא אובד.

מה שאתם באמת רוצים הוא פונקציה שעובדת עם כל טיפוס וגם זוכרת באיזה טיפוס השתמשה כל קריאה. זה בדיוק מה שטיפוסים גנריים מספקים, והם נושא הפרק הזה.