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í, 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.
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
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í
Kategorie:Programovací jazyky Kategorie:Standardy ISO podle jména