Hlavní navigace

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...

  • Článek je starý, nové názory již nelze přidávat.
  • 30. 4. 2015 17:46

    Jooo, Ada (neregistrovaný) ---.cuzk.cz

    Čí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