עדה (שפת תכנות)

עָדָה (באנגלית: Ada) היא שפת תכנות עילית, מובנת, אימפרטיבית, מונחת עצמים עם טיפוסיות סטטית. עדה הורחבה מפסקל ושפות אחרות. עדה תומכת בתכנות לפי חוזה, טיפוסיות חזקה מאוד, הקבלת תהליכונים, ותכנות אי דטרמיניסטי . עדה פותחה במקור על ידי מדען המחשב היהודי צרפתי בעקבות מכרז של משרד ההגנה האמריקני על מנת להחליף מעל 450 שפות תכנות שהיו בשימוש צבאי בארצות הברית. החל מהתקן השני של עדה שהופיע ב־1995, המתכנן והמעצב המרכזי של עדה הוא מדען המחשב האמריקני .

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