Ada (langage)

Adaest unlangage de programmationorienté objetdont les premières versions remontent au début desannées 1980. La dernière version publiée est Ada 2022.
Adaest unlangage de programmationconçu par l’équipe deCII-Honeywell Bulldirigée parJean Ichbiahen réponse à uncahier des chargesétabli par ledépartement de la Défense des États-Unis(DoD). Les premiers travaux autour du projet ont commencé à la fin des années 1970et dès 1979 unpreliminary ADA referencemanualest publié dans la revue duSpecial Interest Group on Programming Languagesde l'ACM. La première version validée du projet sort au début desannées 1980sous le nom d'Ada 83.
Pour développer le langage, l'équipe de Jean Ichbiah s'est inspirée de son précédent langage LIS (Langage d'Implémentation de Systèmes), conçu à laCIIpour permettre le développement desystèmes d'exploitationportables (à 95 %, disait Ichbiah).
Ada 83 a été ensuite repris et amélioré au milieu desannées 1990pour donner Ada 95, le secondlangage objetnormalisé de manière internationale (publié enfévrier 1995, il est précédé de peu parCommon Lisp, publié endécembre 1994). Sous les auspices de l’Organisation internationale de normalisation(ISO), le langage a bénéficié d'un amendement en 2005 (Ada 2005), puis de nouvelles révisions en 2012 (Ada 2012) et en 2022 (Ada 2023).
Le nom « Ada » a été choisi en l’honneur d’Ada Lovelace, sans doute la première informaticienne de l’histoire. Il est associé à la couleur verte car, lors de l’appel d’offres du DoD, les différentes propositions étaient désignées par des couleurs pour éviter tout biais, et l’équipe qui l’a conçu était l’équipe verte.
Voici quelques particularités d’Ada :
Il est souvent utilisé dans dessystèmes temps réeletembarquésnécessitant un haut niveau de fiabilité et de sécurité. De nos jours, Ada est employé bien sûr par son initiateur, mais aussi dans toutes lestechniques de pointe: en France, l’automobile, les transports ferroviaires (Alstom,Siemens Mobility,Ansaldo STS), les technologies aéronautiques (Thales Land and Air Systems,Thales Avionics,Airbus,Airbus Defence and Space) et les technologies spatiales (Thales Alenia Space,ArianeGroup,CNES,Arianespace).
En2013, il est possible de trouver descompilateursAda pour certainssystèmes d’exploitation(Windows,Linux,VxWorks) etarchitectures matérielles, y compris un compilateur libre (GNAT, inclus dansGNU Compiler Collection) compilant de l’Ada 83/95/2005/2012.
Ada est parfois utilisé en introduction aux cours deprogrammation informatiqueavancée, et il peut être utilisé pour les cours d'introduction à laprogrammation.
Ada est inspiré du langagePascaldont il a repris tant l'esprit de la syntaxe que de l'architecture. Le langage Ada a inspiréBertrand Meyerpour la conception du langageEiffel, qui a ajouté des notions de programmation par contrat (mais se montre moins adapté à l'industrie sous certains aspects). La notion deprogrammation par contrat, formalisée par Bertrand Meyer avec Eiffel, a amené la création d'une extension au langage Ada,SPARK(en), pour lui faire supporter des notations permettant d'exprimer desassertionscontractuelles dans les spécifications. La programmation par contrat (des sous-programmes ou des types d'objets) est finalement intégrée dans la version Ada 2012.
Ada a inspiré le langagePL/SQLdans le domaine desbases de données, ainsi que le langageVHDLpour les architectures matérielles.
Le langage Ada est également à la base de la conception des différents langages de la normeCEI 61131-3, en particulier la partie déclarative commune à tous les langages et le langage ST (texte structuré).
Un exemple courant pour montrer la syntaxe d’un langage est le programmeHello world:
Il existe des raccourcis pourAda.Text_IO.Put_Linenécessitant moins de caractères, mais ils ne sont pas utilisés ici pour des raisons de compréhension. Pour des explications plus détaillées, vous pouvez consulterWikibooks:Ada Programming/Basic.