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

בעל תכונות אופייניות לקבוצת ההשתייכות, מאפיין; טיפיקָלי

טיפוס עצים, טיפוס עצים (ספורט), טיפוס קירות, טיפוס קרח, טיפוס, גלישה וחילוץ, טיפוסיות חזקה, טיפות הנסיך רופרט, טיפות על אבנים לוהטות, טיפי, טיפי הדרן