لغة البرمجة آدا

لغة آدا هي لغة برمجة عالية المستوى ، هيكلية ، ثابتة النوع ، إجرائية ، وموجهة للكائنات ، مستوحاة من لغة باسكال ولغات أخرى. تتميز بدعمها المدمج للتصميم التعاقدي (DbC)، ونظام كتابة قوي للغاية ، وتزامن صريح، ومهام، وتمرير رسائل متزامن، وكائنات محمية ، وعدم حتمية . تُحسّن آدا سلامة الكود وسهولة صيانته باستخدام المُصرّف لاكتشاف الأخطاء بدلاً من أخطاء وقت التشغيل . آدا معيار تقني دولي ، تم تعريفه بشكل مشترك من قبل المنظمة الدولية للتوحيد القياسي (ISO) واللجنة الكهروتقنية الدولية (IEC). اعتبارًا من مايو 2023يُطلق على المعيار، ISO/IEC 8652:2023، اسم Ada 2022 بشكل غير رسمي. ^{[ 11 ] [ 12 ]}

صُممت لغة آدا في الأصل من قِبل فريق بقيادة عالم الحاسوب الفرنسي جان إشبيا من شركة هانيويل، بموجب عقد مع وزارة الدفاع الأمريكية (البنتاغون) بين عامي 1977 و 1983، لتحل محل أكثر من 450 لغة برمجة كانت تستخدمها البنتاغون آنذاك. ^{[ 13 ]} سُميت آدا تيمناً بآدا لوفليس (1815-1852)، التي يُنسب إليها الفضل في كونها أول مبرمجة حاسوب. ^{[ 14 ]}

صُممت لغة آدا في الأصل للأنظمة المدمجة والأنظمة التي تعمل في الوقت الحقيقي . وقد حسّن إصدار آدا  95، الذي صممه إس. تاكر تافت من شركة إنترميتريكس بين عامي 1992 و1995، دعم الأنظمة والبرمجة العددية والمالية والبرمجة كائنية التوجه (OOP). ^{[ 11 ]}

تتضمن ميزات لغة آدا: الكتابة القوية ، وآليات البرمجة المعيارية ( الحزم )، والتحقق أثناء التشغيل ، والمعالجة المتوازية ( المهام ، وتمرير الرسائل المتزامن ، والكائنات المحمية، وعبارات الاختيار غير الحتمية )، ومعالجة الاستثناءات ، والأنواع العامة . وقد أضافت آدا  95 دعمًا للبرمجة كائنية التوجه ، بما في ذلك الإرسال الديناميكي .

تُقلل بنية لغة آدا من خيارات تنفيذ العمليات الأساسية، وتُفضل استخدام الكلمات المفتاحية الإنجليزية (مثل `declare` or elseو`begin` and then) على الرموز (مثل `if` ||و`if` &&). تستخدم آدا عوامل التشغيل الحسابية الأساسية +`declare` -و`begin` *و`if` و`if` /، لكنها تتجنب استخدام الرموز الأخرى. تُفصل كتل التعليمات البرمجية بكلمات مثل `declare` و`begin` و`end`، حيث تتبع `end` (في معظم الحالات) الكلمة المفتاحية للكتلة التي تُغلقها (مثل ` if...` end ifو` loop... end loop`). في حالة الكتل الشرطية، يتجنب هذا وجود عبارة `else` غير مُعلقة قد تُؤدي إلى استخدام تعبير `if` متداخل خاطئ في لغات أخرى مثل C أو Java. ^{[ 11 ]}

صُممت لغة آدا لتطوير أنظمة برمجية ضخمة. يمكن تجميع حزم آدا بشكل منفصل. كما يمكن تجميع مواصفات حزم آدا (واجهة الحزمة) بشكل منفصل دون تضمين التنفيذ للتحقق من التناسق. وهذا يُتيح اكتشاف المشاكل مبكرًا خلال مرحلة التصميم، قبل بدء التنفيذ.

يدعم النظام عددًا كبيرًا من عمليات التحقق أثناء الترجمة لتجنب الأخطاء التي قد لا تُكتشف إلا أثناء التشغيل في بعض اللغات الأخرى، أو التي تتطلب إضافة عمليات تحقق صريحة إلى شفرة المصدر. على سبيل المثال، يتطلب بناء الجملة إغلاقًا صريحًا للكتل لمنع الأخطاء الناتجة عن عدم تطابق رموز النهاية. يسمح الالتزام بالكتابة القوية باكتشاف العديد من أخطاء البرامج الشائعة (المعاملات الخاطئة، انتهاكات النطاق، المراجع غير الصالحة، الأنواع غير المتطابقة، إلخ) سواء أثناء الترجمة أو أثناء التشغيل. ولأن التزامن جزء من مواصفات اللغة، يمكن للمترجم في بعض الحالات اكتشاف حالات الجمود المحتملة . ^{[ 15 ]} كما يتحقق المترجم عادةً من المعرفات المكتوبة بشكل خاطئ ، ورؤية الحزم، والتصريحات الزائدة، وما إلى ذلك، ويمكنه تقديم تحذيرات واقتراحات مفيدة حول كيفية إصلاح الخطأ. ^{[ 11 ]}

تدعم لغة آدا أيضًا عمليات فحص أثناء التشغيل للحماية من الوصول إلى الذاكرة غير المخصصة، وأخطاء تجاوز سعة المخزن المؤقت ، وانتهاكات النطاق، وأخطاء الإزاحة بمقدار واحد ، وأخطاء الوصول إلى المصفوفات، وغيرها من الأخطاء القابلة للاكتشاف. يمكن تعطيل هذه الفحوصات لتحسين كفاءة وقت التشغيل، ولكن غالبًا ما يمكن تجميعها بكفاءة. كما تتضمن أدوات للمساعدة في التحقق من البرامج . لهذه الأسباب، تُستخدم آدا أحيانًا في الأنظمة الحساسة، حيث قد يؤدي أي خلل إلى عواقب وخيمة، مثل الوفاة العرضية أو الإصابة أو الخسائر المالية الفادحة. تشمل أمثلة الأنظمة التي تُستخدم فيها آدا إلكترونيات الطيران ، ومراقبة الحركة الجوية ، والسكك الحديدية ، والخدمات المصرفية، والتكنولوجيا العسكرية والفضائية . ^{[ 16 ] [ 17 ]}

تتميز لغة آدا بإدارة ذاكرة ديناميكية عالية المستوى وآمنة من حيث النوع. لا تحتوي آدا على مؤشرات عامة أو غير مُحددة النوع، كما أنها لا تُعلن ضمنيًا عن أي نوع مؤشر. بدلاً من ذلك، يجب أن تتم جميع عمليات تخصيص الذاكرة الديناميكية وتحريرها عبر أنواع وصول مُعلنة صراحةً. لكل نوع وصول مجمع تخزين مرتبط به يُعنى بتفاصيل إدارة الذاكرة منخفضة المستوى؛ يمكن للمبرمج إما استخدام مجمع التخزين الافتراضي أو تعريف مجمعات جديدة (وهذا مهم بشكل خاص للوصول غير الموحد إلى الذاكرة ). بل من الممكن تعريف عدة أنواع وصول مختلفة تُشير جميعها إلى نفس النوع ولكنها تستخدم مجمعات تخزين مختلفة. كما تُوفر اللغة فحوصات إمكانية الوصول ، سواءً في وقت الترجمة أو وقت التشغيل، مما يضمن عدم تجاوز قيمة الوصول لنوع الكائن الذي تُشير إليه. ^{[ 18 ]}

على الرغم من أن دلالات اللغة تسمح بالجمع التلقائي للبيانات المهملة للكائنات غير القابلة للوصول، إلا أن معظم التطبيقات لا تدعم ذلك افتراضيًا، لأنه قد يتسبب في سلوك غير متوقع في الأنظمة الآنية. تدعم لغة آدا شكلاً محدودًا من إدارة الذاكرة القائمة على المناطق ، وفيها يؤدي تدمير مجموعة تخزين إلى تدمير جميع الكائنات الموجودة فيها.

يشير الخطان المزدوجان ( ----)، الشبيهان بخط em ، إلى نص التعليق. تتوقف التعليقات عند نهاية السطر؛ ولا توجد طريقة عمدًا لجعل التعليق يمتد على عدة أسطر، وذلك لمنع التعليقات غير المغلقة من إلغاء أقسام كاملة من شفرة المصدر عن طريق الخطأ. لذلك، يتطلب تعطيل كتلة كاملة من الشفرة إضافة بادئة '--' لكل سطر (أو عمود) على حدة --. في حين أن هذا يشير بوضوح إلى الشفرة المعطلة من خلال إنشاء عمود من علامات '--' المتكررة أسفل الصفحة، إلا أنه يجعل عملية تعطيل/إعادة تفعيل الكتل الكبيرة تجريبيًا عمليةً أطول في المحررات التي لا تدعم التعليقات على الكتل.

الفاصلة المنقوطة ( ;) هي فاصلة إنهاء ، والعبارة الفارغة أو التي لا تُجري أي عملية هي فاصلة فارغة null;. لا يُسمح باستخدام فاصلة مفردة ;بدون عبارة لإنهاءها.

على عكس معظم معايير ISO ، فإن تعريف لغة Ada (المعروف باسم دليل مرجع Ada أو ARM ، أو أحيانًا دليل مرجع اللغة أو LRM ) هو محتوى مجاني . ولذلك، فهو مرجع شائع لمبرمجي Ada، وليس فقط لمبرمجي مُترجمات Ada. بالإضافة إلى دليل المرجع، يوجد أيضًا مستند شرح مُفصّل يُوضح تصميم اللغة واستخدام مختلف بنياتها. ويُستخدم هذا المستند أيضًا على نطاق واسع من قِبل المبرمجين. وعندما تم تنقيح اللغة، تم كتابة مستند شرح جديد.

إحدى أدوات البرمجيات المجانية البارزة التي يستخدمها العديد من مبرمجي لغة Ada لمساعدتهم في كتابة شفرة المصدر بلغة Ada هي GNAT Programming Studio، و GNAT التي تعد جزءًا من مجموعة GNU Compiler Collection .

Alire هي أداة لإدارة الحزم وسلاسل الأدوات للغة Ada. ^{[ 19 ]}

في سبعينيات القرن الماضي، انتاب وزارة الدفاع الأمريكية قلقٌ بالغٌ إزاء كثرة لغات البرمجة المستخدمة في مشاريع أنظمة الحواسيب المدمجة، إذ كان العديد منها قديمًا أو يعتمد على مكونات مادية محددة، ولم تدعم أيٌّ منها البرمجة المعيارية الآمنة. وفي عام ١٩٧٥، شُكِّل فريق عمل ، هو فريق عمل لغات البرمجة عالية المستوى (HOLWG)، بهدف تقليص هذا العدد من خلال إيجاد أو ابتكار لغة برمجة مناسبة عمومًا لمتطلبات وزارة الدفاع الأمريكية ووزارة الدفاع البريطانية . وبعد العديد من المحاولات، بدءًا من اقتراح أولي ^{[ ٢٠ ]،} سُمِّيت لغة البرمجة النهائية "آدا". وانخفض إجمالي عدد لغات البرمجة عالية المستوى المستخدمة في مثل هذه المشاريع من أكثر من ٤٥٠ لغة في عام ١٩٨٣ إلى ٣٧ لغة بحلول عام ١٩٩٦.

وضعت مجموعة عمل لغة البرمجة عالية المستوى (HOLWG) متطلبات لغة Steelman ، وهي سلسلة من الوثائق التي تحدد المتطلبات التي رأوا أنه ينبغي أن تستوفيها لغة البرمجة. خضعت العديد من اللغات الموجودة لمراجعة رسمية، لكن الفريق خلص في عام 1977 إلى عدم وجود لغة حالية تفي بالمواصفات. أُنشئت هذه المتطلبات من قِبل وزارة الدفاع الأمريكية ضمن برنامج لغة البرمجة عالية المستوى المشتركة التابع لوزارة الدفاع في عام 1978. وكانت الوثائق السابقة لهذه المتطلبات تُسمى، بالترتيب، "Strawman" و"Woodenman" و"Tinman" و"Ironman". ^{[ 21 ]} ركزت المتطلبات على احتياجات تطبيقات الحاسوب المدمجة ، وأكدت على الموثوقية وسهولة الصيانة والكفاءة. ومن الجدير بالذكر أنها تضمنت آليات معالجة الاستثناءات ، والتحقق أثناء التشغيل ، والحوسبة المتوازية .

خلصت الدراسة إلى عدم وجود لغة برمجة حالية تفي بهذه المعايير بالقدر الكافي، ^{[ 22 ]} لذا أُعلن عن مسابقة لابتكار لغة أقرب إلى تحقيقها. وقد أصبح التصميم الفائز في هذه المسابقة لغة البرمجة "آدا". واتبعت اللغة الناتجة متطلبات ستيل مان بشكل وثيق، وإن لم يكن مطابقًا لها تمامًا.

طُرحت طلبات تقديم مقترحات لتطوير لغة برمجة جديدة، وتم التعاقد مع أربعة متعاقدين لتطوير مقترحاتهم تحت مسميات: الأحمر ( شركة إنترمتريكس بقيادة بنيامين بروسغول)، والأخضر ( شركة هانيويل بقيادة جان إشبيا )، والأزرق ( شركة سوفتك بقيادة جون غودينوف) ^{[ 23 ]،} والأصفر ( معهد SRI الدولي بقيادة جاي سبيتزن). في أبريل 1978، وبعد تدقيق عام، انتقل مقترحا الأحمر والأخضر إلى المرحلة التالية. في مايو 1979، تم اختيار مقترح الأخضر، الذي صممه جان إشبيا في شركة هانيويل، وأُطلق عليه اسم آدا، نسبةً إلى أوغستا آدا كينغ، كونتيسة لوفليس، والمعروفة باسم آدا لوفليس . وقد تأثر هذا المقترح بلغة LIS التي طورها إشبيا وفريقه في سبعينيات القرن الماضي. نُشر الدليل المرجعي الأولي للغة آدا في نشرة ACM SIGPLAN Notices في يونيو 1979. وتمت الموافقة على الدليل المرجعي للمعايير العسكرية في 10 ديسمبر 1980 (عيد ميلاد آدا لوفليس)، وحمل الرقم MIL-STD-1815 تكريمًا لسنة ميلادها. في عام 1981، استغل توني هوار خطابه عند استلام جائزة تورينج لانتقاد لغة آدا لكونها معقدة للغاية وبالتالي غير موثوقة، ^{[ 24 ]} ولكنه تراجع لاحقًا عن رأيه في مقدمة كتاب مدرسي عن لغة آدا. ^{[ 25 ]}

حظيت لغة آدا باهتمام واسع من مجتمع البرمجة ككل في بداياتها. وتوقع داعموها وغيرهم أنها قد تصبح لغةً سائدةً في البرمجة العامة، وليس فقط في مجال الدفاع. ^{[ 26 ]} وصرح إيشبيا علنًا بأنه في غضون عشر سنوات، لن يتبقى سوى لغتين برمجيتين: آدا وليسب . ^{[ 27 ]} واجهت مُجمِّعات آدا الأولى صعوبةً في تنفيذ هذه اللغة الكبيرة والمعقدة، وكان أداء وقت الترجمة ووقت التشغيل بطيئًا، وكانت الأدوات بدائية. ^{[ 26 ]} وبذل مُصنِّعو المُجمِّعات معظم جهودهم في اجتياز مجموعة اختبارات التحقق من صحة مُجمِّع آدا (ACVC) الضخمة، والتي كانت مطلوبةً من قِبل الحكومة، والتي كانت ميزةً جديدةً أخرى في تطوير لغة آدا. ^{[ 27 ]}

كان أول تطبيق مُعتمد للغة آدا هو مترجم NYU Ada/Ed، ^{[ 28 ]} الذي حصل على الاعتماد في 11 أبريل 1983. يُنفذ NYU Ada/Ed بلغة المجموعات عالية المستوى SETL . ^{[ 29 ]} بدأت العديد من الشركات التجارية في تقديم مُترجمات لغة آدا وأدوات التطوير المرتبطة بها، بما في ذلك Alsys و TeleSoft و DDC-I و Advanced Computer Techniques و Tartan Laboratories و Irvine Compiler و TLD Systems و Verdix . ^{[ 30 ]} كما قدمت شركات تصنيع الحواسيب التي كان لها نشاط كبير في قطاعات الدفاع والفضاء والصناعات ذات الصلة، مُترجمات وأدوات لغة آدا على منصاتها؛ ومن هذه الشركات Concurrent Computer Corporation و Cray Research, Inc. و Digital Equipment Corporation و Harris Computer Systems و Siemens Nixdorf Informationssysteme AG . ^{[ 30 ]}

في عام 1991، بدأت وزارة الدفاع الأمريكية بفرض استخدام لغة آدا ( إلزام آدا ) في جميع البرامج، ^{[ 31 ]} مع السماح في كثير من الأحيان باستثناءات لهذا الشرط. ^{[ 26 ]} وقد أُلغي إلزام آدا فعليًا في عام 1997، عندما بدأت وزارة الدفاع الأمريكية في تبني التقنيات التجارية الجاهزة (COTS). ^{[ 26 ]} وكانت هناك متطلبات مماثلة في دول أخرى من حلف الناتو : إذ كان استخدام آدا إلزاميًا لأنظمة الناتو التي تتضمن القيادة والسيطرة ووظائف أخرى، وكانت آدا اللغة المعتمدة أو المفضلة للتطبيقات المتعلقة بالدفاع في دول مثل السويد وألمانيا وكندا. ^{[ 32 ]}

بحلول أواخر الثمانينيات وأوائل التسعينيات، تحسنت أداء مترجمات لغة آدا، ولكن لا تزال هناك عوائق أمام الاستغلال الكامل لقدرات آدا، بما في ذلك نموذج المهام الذي كان مختلفًا عما اعتاد عليه معظم مبرمجي الوقت الحقيقي. ^{[ 27 ]}

بفضل ميزات دعم السلامة الحرجة في لغة آدا ، تُستخدم الآن ليس فقط في التطبيقات العسكرية، بل أيضًا في المشاريع التجارية حيث يمكن أن يكون لأي خلل برمجي عواقب وخيمة، مثل إلكترونيات الطيران ومراقبة الحركة الجوية ، والصواريخ التجارية مثل أريان 4 و5 ، والأقمار الصناعية وأنظمة الفضاء الأخرى، والنقل بالسكك الحديدية، والخدمات المصرفية. ^{[ 17 ]} على سبيل المثال، كُتب نظام التحكم الأساسي في الطيران ، وهو برنامج نظام التحكم الإلكتروني في طائرة بوينغ 777 ، بلغة آدا، وكذلك أنظمة التحكم الإلكتروني لطائرة يوروفايتر تايفون غير المستقرة ديناميكيًا ، ^{[ 33 ]} وساب غريبن ، ^{[ 34 ]} ولوكهيد مارتن إف-22 رابتور ، ونظام التحكم في الطيران البديل لنظام التحكم الرقمي في الطيران لطائرة غرومان إف-14 تومكات . كُتب نظام مراقبة الحركة الجوية الآلي الكندي بمليون سطر من لغة آدا ( عدد أسطر التعليمات البرمجية ). وقد تميز بمعالجة موزعة متقدمة ، وقاعدة بيانات موزعة بلغة آدا، وتصميم كائني التوجه. تُستخدم لغة Ada أيضًا في أنظمة مراقبة الحركة الجوية الأخرى، فعلى سبيل المثال، تم تصميم وتنفيذ نظام مراقبة الحركة الجوية من الجيل التالي في المملكة المتحدة، وهو نظام دعم أدوات التحكم في المناطق المستقبلية المؤقتة ( iFACTS )، باستخدام SPARK Ada. ^{[ 35 ]} كما تُستخدم في نظام الإشارات داخل مقصورة القيادة التابع لشركة TVM الفرنسية في نظام السكك الحديدية فائقة السرعة TGV ، وفي قطارات الضواحي في باريس ولندن وهونغ كونغ ومدينة نيويورك. ^{[ 17 ] [ 36 ]}

تجاوزت مراجعة لغة Ada 95 متطلبات Steelman، حيث استهدفت الأنظمة ذات الأغراض العامة بالإضافة إلى الأنظمة المدمجة، وأضافت ميزات تدعم البرمجة الموجهة للكائنات . ^{[ 37 ]}

يمكن العثور على Ada الأولية في ACM Sigplan Notices المجلد 14، العدد 6، يونيو 1979 ^{[ 38 ]}

نُشرت لغة آدا لأول مرة عام 1980 كمعيار ANSI / MIL-STD 1815. ونظرًا لاحتواء هذه النسخة الأولى على العديد من الأخطاء والتناقضات، ^{[ أ ]} نُشرت النسخة المنقحة عام 1983 تحت اسم ANSI/MIL-STD 1815A. ودون أي تغييرات إضافية، أصبحت معيارًا دوليًا (ISO) عام 1987. ^{[ 40 ]} تُعرف هذه النسخة من اللغة باسم آدا  83 ، نسبةً إلى تاريخ اعتمادها من قِبل ANSI، ولكن يُشار إليها أحيانًا باسم آدا  87 ، نسبةً إلى تاريخ اعتمادها من قِبل ISO. ^{[ 41 ]} كما توجد ترجمة فرنسية لها؛ وقد ترجمتها DIN إلى الألمانية تحت اسم DIN 66268 عام 1988.

 تم نشر لغة Ada 95 ، المعيار المشترك بين ISO/IEC وANSI، ISO/IEC 8652:1995 ^{[ 42 ] [ 43 ]} ، في فبراير 1995، لتكون بذلك أول لغة برمجة كائنية التوجه معتمدة من ISO. وللمساعدة في مراجعة المعيار وقبوله مستقبلاً، موّلت القوات الجوية الأمريكية تطوير مُصرّف GNAT . ويُعدّ مُصرّف GNAT حاليًا جزءًا من مجموعة مُصرّفات GNU .

استمر العمل على تحسين وتحديث المحتوى التقني للغة آدا.  نُشر تصحيح تقني لآدا 95 في أكتوبر 2001، ^{[ 44 ] [ 45 ]} ونُشر تعديل رئيسي، ISO/IEC 8652:1995/Amd 1:2007 ^{[ 46 ] [ 47 ]} في 9 مارس 2007، والمعروف باسم آدا  2005 لأن العمل على المعيار الجديد قد انتهى في ذلك العام.

في مؤتمر Ada-Europe 2012 الذي عُقد في ستوكهولم، أعلنت جمعية موارد Ada (ARA) ومنظمة Ada-Europe عن إتمام تصميم أحدث إصدار من لغة Ada وتقديم دليل المرجع إلى اللجنة الفنية المشتركة 1/اللجنة الفرعية 22 /الفريق العامل 9 التابعة للمنظمة الدولية للتوحيد القياسي (ISO) واللجنة الكهروتقنية الدولية (IEC) للموافقة عليه. وقد نُشرت المواصفة القياسية ISO/IEC 8652:2012 ^{[ 48 ]} (انظر دليل مرجع Ada 2012 ) في ديسمبر 2012، والمعروفة باسم Ada  2012. كما نُشر تصحيح فني، ISO/IEC 8652:2012/COR 1:2016 ^{[ 49 ]} (انظر دليل مرجع 2012 مع اللجنة الفنية 1 ).

أصبحت تقنية SPARK القائمة على لغة Ada ممكنة بفضل الخصائص المميزة للغة Ada، بما في ذلك فصلها بين المواصفات والتنفيذ عبر الحزم، ودعمها لأنواع البيانات العددية المُعرَّفة من قِبل المستخدم، ودعمها لاستخدام الأنواع المركبة دون اللجوء إلى المؤشرات. وكان لإصدار Ada 2012 أهمية خاصة لتقنية SPARK، إذ سمح دعمه للعقود كجزء من اللغة بإعادة تصميم SPARK من البداية لتحقيق هدفها المتمثل في التطوير المشترك للبرامج جنبًا إلى جنب مع إثباتات صحتها. ^{[ 50 ]}

في 2 مايو 2023، شهد مجتمع Ada الموافقة الرسمية على نشر إصدار Ada  2022 من معيار لغة البرمجة. ^{[ 12 ]}

على الرغم من وجود مسميات مثل Ada 83 و95 وغيرها، إلا أنه قانونيًا لا يوجد سوى معيار Ada واحد، وهو آخر معيار صادر عن المنظمة الدولية للتوحيد القياسي/اللجنة الكهروتقنية الدولية (ISO/IEC): فمع اعتماد إصدار جديد من المعيار، يُلغى الإصدار السابق. أما المسميات الأخرى فهي مسميات غير رسمية تشير إلى إصدار معين.

وتشمل المعايير الأخرى ذات الصلة ISO/IEC 8651 -3:1988 أنظمة معالجة المعلومات - رسومات الحاسوب - روابط لغة نظام النواة الرسومية (GKS) - الجزء 3: Ada .

لغة آدا هي لغة برمجة شبيهة بلغة ALGOL، وتتميز بهياكل تحكم تحتوي على كلمات محجوزة مثل if و then و else و while و for ، وما إلى ذلك. ومع ذلك، تمتلك آدا أيضًا العديد من إمكانيات هيكلة البيانات وغيرها من التجريدات التي لم تكن موجودة في لغة ALGOL 60 الأصلية ، مثل تعريفات الأنواع والسجلات والمؤشرات والتعدادات . وقد استُوحيت هذه البنى جزئيًا من لغة باسكال أو من قِبَلها .

باستخدام Ada.Text_IO ؛ استخدم Ada.Text_IO ؛الإجراء Hello هويبدأPut_Line ( "Hello, world!" );نهاية ؛

gnatmake hello.adb 

نوع Day_type هو نطاق 1 .. 31 ؛نوع Month_type هو نطاق من 1 إلى 12 ؛نوع Year_type هو نطاق 1800 .. 2100 ؛نوع الساعات هو mod 24 ؛نوع يوم الأسبوع هو ( الاثنين ، الثلاثاء ، الأربعاء ، الخميس ، الجمعة ، السبت ، الأحد )؛نوع التاريخ هوسِجِلّاليوم : نوع اليوم ؛الشهر : نوع_الشهر ؛السنة : نوع_السنة ؛نهاية السجل ؛

اليوم : نوع اليوم := 4 ؛Current_Month : Month_type := 10 ;... اليوم + الشهر الحالي ... -- غير قانوني

النوع الفرعي Working_Hours هو نطاق الساعات من 0 إلى 12 ؛ -- بحد أقصى 12 ساعة عمل في اليومالنوع الفرعي Working_Day هو نطاق أيام الأسبوع من الاثنين إلى الجمعة ؛ -- أيام العملWork_Load : مصفوفة ثابتة ( Working_Day ) من Working_Hours -- تعريف نوع ضمني:= ( الجمعة => 6 ، الاثنين => 4 ، باقي الأيام => 10 )؛ -- جدول بحث لساعات العمل مع التهيئة

-- طالما أن a لا تساوي b، كرر العملية.بينما a ≠ b ، كررAda.Text_IO.Put_Line ( " Waiting " ) ;​نهاية الحلقة ؛إذا كان أ > ب ،Ada.Text_IO.Put_Line ( "تم استيفاء الشرط " ) ;آخرAda.Text_IO.Put_Line ( "لم يتم استيفاء الشرط " ) ;نهاية الشرط ؛حلقة تكرارية من أجل i في 1 .. 10Ada.Text_IO.Put ( " التكرار : " ) ;Ada.Text_IO.Put ( i ) ;​​​Ada.Text_IO.Put_Line ;​​​​نهاية الحلقة ؛حلقةأ := أ + 1 ؛الخروج عندما تكون قيمة a = 10 ؛نهاية الحلقة ؛الحالة i هيعندما تكون القيمة 0 = > Ada.Text_IO.Put ( " zero" ) ;عندما يكون 1 = > Ada.Text_IO.Put ( " one " ) ;عندما يكون الناتج 2 = > Ada.Text_IO.Put ( "two " ) ;يجب أن تغطي بيانات الحالة جميع الحالات الممكنة:عندما يكون الآخرون = > Ada.Text_IO.Put ( " لا شيء مما سبق" );نهاية الحالة ؛for aWeekday in Weekday ' Range loop -- حلقة تكرارية على تعدادPut_Line ( Weekday ' Image ( aWeekday ) ); -- إخراج تمثيل نصي للتعدادإذا كان aWeekday ضمن Working_Day ، فسيتم التحقق من نوع فرعي من تعداد.ضع_سطراً ( " للعمل من أجل " &Working_Hours ' Image ( Work_Load ( aWeekday )) ); -- الوصول إلى جدول بحثنهاية الشرط ؛نهاية الحلقة ؛

مثال على الحزمة هونوع الرقم هو نطاق من 1 إلى 11 ؛إجراء Print_and_Increment ( j : in out Number );نهاية المثال ؛

باستخدام Ada.Text_IO ؛مثال على نص الحزمة هوi : Number := Number ' First ;الإجراء Print_and_Increment ( j : in out Number ) هودالة Next ( k : in Number ) تُرجع Number هييبدأأعد k + 1 ؛النهاية التالي ؛يبدأAda.Text_IO.Put_Line ( " المجموع هو : " & Number ' Image ( j ) ) ;j := Next ( j );نهاية عملية الطباعة والزيادة ؛-- يتم تنفيذ تهيئة الحزمة عند تفصيلهايبدأبينما i < الرقم ' الحلقة الأخيرةاطبع_وزيد_القيمة ( i );نهاية الحلقة ؛نهاية المثال ؛

gnatmake -z example.adb 

• مترجمات لغة آدا
• لغة البرمجة ALGOL 68 
• APSE - صفحات مواصفات بيئة البرمجة التي تعرض أوصافًا مختصرة لأهداف إعادة التوجيه 
• قائمة برامج وأدوات لغة الآدا
• باسكال - لغة برمجة 
• ملف تعريف رافينسكار - إحدى ميزات لغة البرمجة آدا 
• سمول توك - لغة برمجة كائنية التوجه 
• سبارك - لغة برمجة 
• لغة وصف الأجهزة VHDL 
• برمجة آدا على ويكي بوكس

• بارنز، جون (2024). البرمجة بلغة آدا 2022. مطبعة جامعة كامبريدج. ISBN 978-1-009-56477-9.
• بارنز، جون (2014). البرمجة بلغة آدا 2012 مع معاينة لإصدار آدا 2022. مطبعة جامعة كامبريدج. ISBN 978-1-009-18134-1.
• بارنز، جون (2014). البرمجة بلغة آدا 2012. مطبعة جامعة كامبريدج. ISBN 978-1-107-42481-4.
• بارنز، جون (2006). البرمجة بلغة آدا 2005. أديسون-ويسلي. ISBN 0-321-34078-7.
• بارنز، جون (1991). البرمجة بلغة آدا بلس: دليل مرجعي للغة . أديسون-ويسلي. ISBN 0-201-56539-0.
• بارنز، جون (1998). البرمجة بلغة آدا 95. أديسون-ويسلي. ISBN 0-201-34293-6.
• بارنز، جون (1997). آدا ذات النزاهة العالية: منهج سبارك . أديسون-ويسلي. ISBN 0-201-17517-7.
• بارنز، جون (2003). برمجيات عالية الموثوقية: منهج سبارك للسلامة والأمن . أديسون-ويسلي. ISBN 0-321-13616-0.

• جمعية موارد آدا
• مواصفات لغة برمجة آدا التابعة لوزارة الدفاع الأمريكية (ANSI/MIL STD 1815A-1983)
• اللجنة الفنية المشتركة 1/اللجنة الفرعية 22/مجموعة العمل 9، المنظمة الدولية للمعايير (ISO) هي الجهة المسؤولة عن معايير Ada
• مواد لغة برمجة آدا، 1981-1990 . معهد تشارلز باباج ، جامعة مينيسوتا.
• وزارة الدفاع (يونيو 1978)، متطلبات لغات برمجة الحاسوب عالية المستوى: "ستيل مان"
• ديفيد أ. ويلر (1996)، مقدمة إلى ستيل مان على الإنترنت (الإصدار 1.2).
• شركة سوفت تك (1976)، "تقييم ALGOL 68 و JOVIAL J3B و Pascal و Simula 67 و TACPOL مقابل TINMAN - متطلبات لغة برمجة عالية المستوى مشتركة." - انظر أيضًا: ALGOL 68 و JOVIAL J3B و Pascal و Simula 67 و TACPOL (مركز المعلومات التقنية الدفاعية - DTIC ADA037637، رقم التقرير 1021-14).
• ديفيد أ. ويلر (1997)، "لغات آدا، سي، سي++، وجافا ضد ستيل مان" . نُشرت في الأصل في مجلة آدا ليترز، يوليو/أغسطس 1997.