 |
מערכת טיפוסים
| Wikipedia ויקיפדיה העברית - האנציקלופדיה החופשית | Download this dictionary |
מערכת טיפוסים
בשפות תכנות, מערכת טיפוסים (או מנגנון הטיפוסים) של שפה היא אוסף הכללים התחביריים המסווגים משתנים או ביטויים, לפי הערכים אותם הם יכולים לקבל. מערכת טיפוסים מתאימה טיפוס לכל ביטוי או ערך. מערכת הטיפוסים מאפשרת לוודא את היעדרן של התנהגויות שגויות מסוימות בתוכנית, כגון ביצוע של פעולה מסוימת על ערכים שאינם שייכים לקבוצה עליה היא הוגדרה, וכן היא מאפשרת סוגים שונים של אופטימיזציות.
למשל, בשפות תכנות רבות פעולת הכפל תקפה רק לטיפוסים מספריים. כך שאם מתבצע כפל בין משתנים מטיפוס מערך, זה מצביע על שגיאה כלשהי של המתכנת.
| להמשך המאמר ראה Wikipedia.org... |
© מאמר זה משתמש בתוכן מ-ויקיפדיה® וכפוף לרשיון לשימוש חופשי במסמכים של גנו GNU Free Documentation License וכפוף לרישיון Creative Commons ייחוס-שיתוף זהה
