תכנות מונחה עצמים

4.2.2. Static Strong Typing

Static Typing הולך כמעט תמיד עם Strongly Typing. במקרים רבים מתייחסים אליהם באופן סימטרי ואף מחליפים בין השמות שלהם. השם שתכנות מונחה עצמים מעדיף הוא Strong Typing, מכיוון שכפי שנראה מאוחר יותר יש צורת כתיבה ל-Dynamic Binding גם בשפות שהן Strongly Typed System.

מדוע נרצה להשתמש ב-Strong Typing?

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

ב.       ביצועים  – מערכת Static Strong Typing תעבוד יותר מהר כי מובטח שבזמן ריצה אין צורך לבדוק שגיאות טיפוסים, ולכן אנחנו חוסכים פעולות..

ג.        בהירות – st – אמירות שנותנות רמיזות לקורא מה התוכנית עושה על ידי הצהרה על הסוגים השונים של משתנים. עובדה זו עוזרת בתוכניות גדולות.

כל היתרונות החשובים הללו מתבטאים במערכות גדולות. במערכת קטנה שתרוץ פעם אחת – נושא זה הינו פחות משמעותי.