טִיפּוּס נְתוּנִיםטיפוס נתוניםקבוצה מוגדרת של עצמי נתונים בעלי מבנה נתונים מסוים וקבוצת פעולות מותרות, כך שעצמי נתונים אלה יכולים לשמש אופרנדים בביצוע של כל אחת מפעולות אלה
טִיפּוּס מֻפְשָׁטטיפוס מופשטטיפוס נתונים המבוסס על מודל מתמטי שבו מבנה נתונים מתואר על ידי רשימת פעולות או תכונות הזמינות במבנה הנתונים ועל ידי המאפיינים הפורמליים של אותן פעולות, כשהמִמשקים מופרדים מהמימוש הפנימי
טִיפּוּס רְשׁוּמָהטיפוס רשומהטיפוס נתונים מורכב שרכיביו הם שדות או טיפוסי רשומות אחרים. לדוגמה, רשומת פרטים אישיים עשויה לכלול נתונים אישיים ערוכים בשדות או בתת-רשומות בתוכה
טִיפּוּס פְּרָטִיטיפוס פרטיבתוך תכנית – טיפוס נתונים שהמבנה שלו, קבוצת ערכיו ופעולותיו מוגדרים, אך זמינותו מוגבלת למרכיבים מיוחסים (privileged) של אותה תכנית
הֲמָרַת טִיפּוּסהמרת טיפוסבשפות תכנות – המרת הייצוג של ערך נתונים מטיפוס נתונים אחד לערך נתונים מטיפוס נתונים אחר, המבוצעת בדרך כלל כדי למנוע אי-התאמה לא חוקית של טיפוסי נתונים
הַטְפָּסָה חֲזָקָההטפסה חזקהאכיפת הדרישה שטיפוסי הנתונים של אופרנדים בצֶרף שפה יהיו תואמים לטיפוסי הנתונים של הפעולה או כאלה שעברו המרת טיפוס לפני שהפעולה בוצעה