EMZETT.
Login

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 Ada

Steckbrief

EigenschaftWert
Erschienen1983
Entwickelt vonJean Ichbiah (CII Honeywell Bull) im Auftrag des US-Verteidigungsministeriums
Paradigmenmulti: imperativ, objektorientiert, nebenläufig
Typisierungstatisch, stark
Ausführungkompiliert (GNAT)
PaketverwaltungAlire
Dateiendung.adb, .ads
SprachfamilieKlassiker (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 = 3

Der 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.

Ä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?