Et ADA95?
Ce langage est bien plus élégant que Pascal dont il dérive, il supporte une écriture très proche de celle des divers langages algorithmiques, il supporte la notion de package tout comme java, permet de programmer parallère sans trop de difficultés, supporte la conception orientée objet depuis 95 (bien que ADA83 incitait déjà fortement à ce type de conception) . De plus ADA95 est un langage très sécurisé, on ne peut pas fraire des conversions de type à tout va...Les compilateurs ADA sont obligés de respecter une norme très stricte, ce qui fait que l'on peut indifferemment utiliser un compilateur ou un autre sans avoir à se soucier de l'implémantation et du fonctionnemente celui-ci...Les compilateurs ADA sont très pratique comparé à certains compliateurs C++ puisqu'ils indiquent la ligne à l'origine de l'erreur et le type d'erreur...Que dire de plus...A si, le langage ADA à été crée par un français et est soutenu par le DoD (Departement of Defence (aux Etats Unis))...Ce langage peut être utilisé pour faire de la programmation graphique (avec openGL), pour programmer des...euh missiles/avions/fusées/sondes spaciales...En bref, ce langage est largement répandu dans le domaine universitaire ainsi que dans celui des applications temps réel ayant de fortes contraintes de fiabilité...
Pour les sondes spaciales DS1 (Deep Space One) était programmé en ADA et était la première sonde entièrement automatisée (comprendre qui se guide sans nécessiter d'interventions humaines) utilisant un propulseur ionique...Cette sonde a rapporté les meilleures photos de la surface d'une comète qui aient jamais été prises...Cf http://nmp.jpl.nasa.gov/ds1/
Bon pour ce qui est des compilateurs ADA gratuits y'en a pas beaucoup mais si vous en cherchez, il suffit de me demander...
PS : Une nouvelle version / Norme d'ADA devrait bientot voir le jour ADA2005 et pourrait, tout comme ADA83 infléchir le développement d'autres langages tels C++ (oups C with Classes à l'époque) ou java...