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

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