Ada (programmeertaal)

Ada is een gestructureerde programmeertaal. De taal is in 1979 in opdracht van het Amerikaanse ministerie van defensie ontworpen door Jean Ichbiah van Honeywell Bull.

Ada
Paradigma	multi-paradigma
Verschenen	22 januari 1983 (42 jaar)
Ontwerper	Jean Ichbiah, S. Tucker Taft
Typesysteem	safe typing, nominatief typesysteem, statisch typesysteem, sterk typesysteem
Implementaties	GNAT,[1] onderdeel van de GCC
Dialecten	Ada 83, Ada 95, Ada 2005
Beïnvloed door	Algol 68, Pascal, Modula-2, C++, Smalltalk, Java, Eiffel, Algol-60, Green, Ada 95
Invloed op	C++, Eiffel, PL/SQL
Besturings­systeem	multiplatform
Bestands­extensies	adb, ads
Website	https://adaic.org
Portaal    Informatica

Ada is naar Lady Ada Lovelace genoemd, de wiskundig geschoolde assistente van Charles Babbage, die halverwege de 19e eeuw een uitgeschreven plan formuleerde voor het gebruik van diens analytische machine voor het berekenen van Bernoulligetallen en op grond daarvan als 's werelds eerste computerprogrammeur wordt beschouwd.

Eigenschappen

Ada was van origine bedoeld voor embedded systemen en wordt hiervoor nog steeds veel gebruikt. De Ada 95 revisie, door Tucker ontworpen tussen 1992 en 1995, bevat een verbeterde ondersteuning voor numerieke en financiële mogelijkheden.

Er is in Ada type checking geïmplementeerd en gedistribueerd programmeren is mogelijk. Objectgeoriënteerd programmeren is sinds Ada 95 geïmplementeerd.

Ada implementaties gebruiken meestal geen garbage collection voor hun geheugenbeheer. Ada voorziet in een beperkte vorm van region-based storage management dat gebruikt kan worden om sommige gevallen waarin niet-gealloceerd geheugen wordt aangesproken te detecteren tijdens de compilatie. Ada bevat run-time checks op het gebruik van niet-gealloceerd geheugen en bufferoverloop. Deze checks kunnen als dat nodig is worden uitgeschakeld, bijvoorbeeld om de verwerking efficiënter te doen verlopen.

De taal bevat faciliteiten die helpen bij het verifiëren van een programma. Om deze redenen wordt Ada bijvoorbeeld veel in de luchtvaarttechniek gebruikt, waar geen fouten mogen voorkomen.

De definitie van Ada is vrij beschikbaar, wat ongewoon is voor een standaard van de Internationale Organisatie voor Standaardisatie. Een van de gevolgen hiervan is dat het standaard document, bekend als de Reference Manual, het gebruikelijke naslagwerk voor Ada-programmeurs is. Voor veel andere computertalen Is het gewenst of noodzakelijk een leerboek te gebruiken.