עדה (שפת תכנות)
שפת תכנות / ויקיפדיה האנציקלופדיה encyclopedia
עָדָה (באנגלית: Ada) היא שפת תכנות עילית, מובנת, אימפרטיבית, מונחת עצמים עם טיפוסיות סטטית. עדה הורחבה מפסקל ושפות אחרות. עדה תומכת בתכנות לפי חוזה, טיפוסיות חזקה מאוד, הקבלת תהליכונים, ותכנות אי דטרמיניסטי (אנ'). עדה פותחה במקור על ידי מדען המחשב היהודי צרפתי ז'אן דויד איכביה (אנ') בעקבות מכרז של משרד ההגנה האמריקני על מנת להחליף מעל 450 שפות תכנות שהיו בשימוש צבאי בארצות הברית.[1][2][3] החל מהתקן השני של עדה שהופיע ב־1995, המתכנן והמעצב המרכזי של עדה הוא מדען המחשב האמריקני טָאקֶר טָאפְט.[4]
פרדיגמות | תכנות מונחה-עצמים, תכנות מובנה, תכנות אימפרטיבי, תכנות מרובה פרדיגמות |
---|---|
תאריך השקה | 1980 |
מתכנן | Jean Ichbiah, S. Tucker Taft |
מפתח | Jean Ichbiah, S. Tucker Taft |
הושפעה על ידי | ALGOL 68, Java, אייפל, אלגול 60, Green, Smalltalk, מודולה־2, C++, פסקל, Ada 95 |
www | |
עדה מצטיינת באמינותה ומפחיתה את הסבירות לשגיאות תוכנה בזמן ריצה באמצעות תחביר נוקשה ומפורש שמאפשר בדיקות קוד בזמן הידור ואכיפת סגנון תכנות החיוני לבטיחות גורלית. על מנת להתמודד עם שגיאות בזמן ריצה, עדה מציעה טיפול מתקדם בחריגות ותכנות לפי חוזה שיבטיח את יכולת התכנה להתמודד עם מצבים בלתי צפויים ולמנוע קריסת מערכת שהמחיר שלה עלול לעלות בחיי אדם או בנזקים כלכליים אדירים.[5]