Ada (programovací jazyk)
programovací jazyk From Wikipedia, the free encyclopedia
Remove ads
Ada je robustní staticky typovaný programovací jazyk vyvinutý v 70. letech na objednávku amerického ministerstva obrany, který se i v 21. století těší aktivnímu vývoji a pravidelným aktualizacím standardu (nejnovější Ada 2022). Přestože byl primárně určen pro mission-critical systémy, jedná se o univerzální programovací jazyk používaný v letectví (Boeing 787, Airbus A380), kosmonautice, dopravě, medicínských přístrojích a energetice. Jazyk byl průběžně modernizován - kromě původních silných stránek v bezpečnosti a spolehlivosti dnes nabízí plnohodnotnou podporu objektově orientovaného programování, generických šablon, paralelního zpracování a formální verifikace přes podmnožinu SPARK. Pojmenován byl na počest první programátorky v historii, Ady Lovelace, která v 19. století spolupracovala na konceptu mechanického počítače. Díky svému unikátnímu spojení výkonu, bezpečnosti a moderních programovacích paradigmat zůstává Ada klíčovou volbou pro systémy, kde nelze riskovat chyby, přičemž disponuje současným ekosystémem včetně kompilátoru GNAT, správce balíčků Alire a podpory v moderních vývojových prostředích.
Remove ads
Typový systém
Typový systém Ady zakazuje implicitní převody typů, vše je nutno určit explicitně. Například když se definují typy:
type Jablka is new Integer;
type Hrusky is new Integer;
nelze mezi nimi explicitně převádět, přestože mají stejnou fyzickou reprezentaci.
Hello, world
Program Hello world v Ada :
with Ada.Text_IO; use Ada.Text_IO;
procedure Main is
begin
Put_Line ("Hello, world!");
end Main;
Externí odkazy
Obrázky, zvuky či videa k tématu Ada na Wikimedia Commons - https://www.adacore.com/
- https://learn.adacore.com/
- https://ada-lang.io/
- Příjemné programování ala Ada
- Bezpečné programování ala Ada
- Copaté programování
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads