מערכת טיפוסים – הבדלי גרסאות

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