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

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