Ada (programovací jazyk)

Ada

Vznik	1980
Typová kontrola	silná, statická
Dialekty	SPARK, Ravenscar profile
Ovlivněn jazyky	C++, Java, Eiffel, Pascal, Smalltalk
Ovlivnil jazyky	C++, Java, Eiffel
Web	http://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

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

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

Obrázky, zvuky či videa k tématu Ada na Wikimedia Commons
www.adahome.com
Standardizační skupina pro jazyk Ada u ISO
Článek o Adě na matfyzácké ωικι Archivováno 22. 2. 2014 na Wayback Machine.
Příjemné programování ala Ada
Bezpečné programování ala Ada
Copaté programování

Programovací jazyky

abecední seznam programovacích jazyků

multiparadigmatické	Ada • C++ • Common Lisp • D • F# • Go • Oberon • Perl • PHP • Python • Ruby • Rust • Scala • Swift • Tcl (Tk) • Vala

strukturované (procedurální)	AWK • C • COBOL • DCL • Forth • Fortran • Lua • Modula-2 / Modula-3 • Pascal • Pawn • PL/SQL

objektové	BETA • Boo • C# • Eiffel • Java (Groovy, Kotlin) • JavaScript • Object Pascal • Objective-C • Smalltalk • VB.NET

funkcionální	Clean • Ceylon • Erlang • Haskell • J • Lisp • Wolfram Language / Mathematica • Miranda • OCaml • Scheme

dotazovací	LINQ • SPARQL • SQL • XQuery • XSL (XSLT • XSL-FO • XPath)

logické	Gödel • Prolog

výukové	Baltazar • Baltík • Karel • Kodu Game Lab • Logo • Microsoft Small Basic • Petr • Scratch

ezoterické	Befunge • Brainfuck • HQ9+ • Malbolge • Ook! • Piet • Whitespace

historické	ALGOL • APL • B • BASIC • CPL (BCPL) • J • MUMPS • PL/I • Simula 67 • SNOBOL

další	ABAP • AppleScript • ColdFusion • JSA • Julia • MATLAB • R • Visual Basic (VBScript) • Vimscript • Visual FoxPro

skriptovací/strojový kód • kompilované/interpretované • interaktivní/dávkové • WYSIWYG

Tento článek je příliš stručný nebo postrádá důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.