Kurz: Sicherheitskritische Software mit starker Typisierung.
Genauer: Ada wird eingesetzt für Luft- und Raumfahrt, Bahntechnik, Militär, Medizintechnik und eingebettete Echtzeitsysteme. Ada (benannt nach Ada Lovelace) wurde in den 1980ern im Auftrag des US-Verteidigungsministeriums entwickelt; der aktuelle Standard ist Ada 2022. Ada ist auf Zuverlässigkeit ausgelegt: starke Typisierung, Prüfungen zur Laufzeit, eingebaute Nebenläufigkeit (Tasks) und Verträge (Vor-/Nachbedingungen).
Steckbrief
| Eigenschaft | Wert |
|---|---|
| Erschienen | 1983 |
| Entwickelt von | Jean Ichbiah (CII Honeywell Bull) im Auftrag des US-Verteidigungsministeriums |
| Paradigmen | multi: imperativ, objektorientiert, nebenläufig |
| Typisierung | statisch, stark |
| Ausführung | kompiliert (GNAT) |
| Paketverwaltung | Alire |
| Dateiendung | .adb, .ads |
| Sprachfamilie | Klassiker (Fortran bis Ada) |
Einsatzgebiete
Luft- und Raumfahrt, Bahntechnik, Militär, Medizintechnik und eingebettete Echtzeitsysteme.
So führst du Code aus
Datei main.adb speichern, mit gnatmake main.adb übersetzen und ./main starten (GNAT, Teil der GCC-Compiler-Suite; Dateiname muss zum Hauptprogramm passen).
Das erste Programm
with Ada.Text_IO; use Ada.Text_IO;
procedure Main is
begin
Put_Line ("Hallo, Welt!");
Put ("ohne Zeilenumbruch");
New_Line;
Put_Line ("1 + 2 =" & Integer'Image (1 + 2));
end Main;Ausgabe:
Hallo, Welt!
ohne Zeilenumbruch
1 + 2 = 3Der Kurs: 8 Kapitel
Jedes Kapitel enthält geprüfte Beispiele mit echter Ausgabe, Merksätze, eine Übungsaufgabe und ein Quiz. Zum Üben mit Fortschrittsanzeige, Abzeichen und Zertifikat: Ada-Kurs auf der Lernseite.
- Einführung und erstes Programm
- Kontrollfluss, Prozeduren und Funktionen
- Typen, Arrays und Records
- Pakete, Generics und Objekte
- Tasks, geschützte Objekte und Verträge
- Container, Dateien und Zeit
- Praxisbeispiele
- Referenz und Spickzettel
Ähnliche Sprachen
- Pascal: Klare, streng strukturierte Lehrsprache mit Object Pascal
- Rust: Schnell wie C, aber speichersicher dank Ownership
- COBOL: Die Sprache, die Banken und Behörden am Laufen hält
Siehe auch
Programmiersprachen im Überblick, Sprachen im Vergleich, Zeitstrahl der Programmiersprachen, Programmierparadigmen, Kompiliert oder interpretiert?