Názor k článku Programovací jazyk Ada pro úplné začátečníky od Jooo, Ada - Čím je to podloženo? Silna typova kontrola. Jazyk navrzeny...

Čím je to podloženo?

Silna typova kontrola. Jazyk navrzeny tak aby vyloucil nektere mnoziny chyb: napr.range checking by default; neexistuje dangling else; kontrola kompletnosti u case; detekce aliasingu; [silne omezeny] profil ve kterem je garantovano ze nemuze dojit k deadlocku; od Ady 2012 podpora kontraktu; standardizovana podpora pro distribuovane programovani (komunikace + synchronizace); to jestli task pobezi in-process, out-of-process nebo na jine masine je otazka zmeny konfigurace. Standartni knihovny kontejneru, podpora alokace v oddelenych memory poolech ktere muzou byt volitelne GC (standart GC povoluje, pry snad zadna implementace to by default nepodporuje ale je dostupna minimalne jedna open-source implementace zalozena na BoehmGC). Subset Spark s durazem na jednoznacnost a automatickou verifikovatelnost (samozrejmosti je moznost linkovat dohromady Adu, Spark, C, C++, Fortran a cokoli dalsiho).

Ada byla od zacatku navrzena predevsim pro "bezpecne programovani s ohledem na velke projekty s dlouhym obdobim podpory / v trvalem vyvoji", na ukor komfortu (je strasne "ukecana"). Read-Only jazyk ;-)

ParaSail je zatim work in progress (vypada hodne zajimave), ale pokud se nepletu implicitne pocita s virtualni masinou a GC, zatimco Ada bez ztraty mnoha featur jde pouzit i bez jejiho lehkeho run-timu. Rust je daleko vic high-level nez ADA (ve smyslu fetury, ne run-time naroky ;-) a rekl bych ze poskytne silnejsi garance pro kontrolu dynamickych alokaci. Oba dva "konkurenti" jsou ale zatim prilis mladi.

Ada u leta lita v letadlech (nejvic se vytahujou 707 myslim) a rizenych strelach, sedi na letistich, jezdi s vlacky, nejake uziti v medine a spousta dalsiho. Nejjednodussi je se podivat na to jak se na svych strankach vytahuji vyvojari (napr. AdaCore).

Vic o Ade nez root zvladne vypublikovat za 100 let (pro ty stastne kteri se neboji emerictiny ;-).
http://www.adacore.com/adaanswers/resources
http://www.adaic.org/ a http://www.adaic.org/learn/materials/
http://libre.adacore.com/ (GNAT GPL pokud vase platforma nema Adu ve spravci baliku ;-)
http://en.wikibooks.org/wiki/Ada_Programming