Přeskočit na obsah

Ada (programovací jazyk)

Z Wikipedie, otevřené encyklopedie
Ada
Vznik1980
Typová kontrolasilná, statická
DialektySPARK, Ravenscar profile
Ovlivněn jazykyC++, Java, Eiffel, Pascal, Smalltalk
Ovlivnil jazykyC++, Java, Eiffel
Webhttp://www.adaic.org/

Ada je robustní staticky typovaný programovací jazyk vyvinutý v 70. letech na objednávku amerického ministerstva obrany. Je primárně určen pro programování velkých a mission-critical projektů, přesto se jedná o univerzální programovací jazyk. V novějších verzích byla přidána podpora pro objektově orientované programování.

Byl pojmenován po historicky první programátorce Adě, hraběnce z Lovelace.

Typový systém

[editovat | editovat zdroj]

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

[editovat | editovat zdroj]

Ukázkový program Hello world v Adě může vypadat následujícím způsobem (pro Ada.Text_IO.Put_Line existuje zkratka, zde je pro přehlednost použita plná forma):

with Ada.Text_IO;

procedure Hello is
begin
	Ada.Text_IO.Put_Line("Hello, world!");
end Hello;

Externí odkazy

[editovat | editovat zdroj]