Avaa päävalikko

Ada (ohjelmointikieli)

ohjelmointikieli

Ada on ohjelmointikieli, jonka kehitystyön Yhdysvaltain puolustusministeriö aloitti vuonna 1974. Puolustusministeriö rahoitti uuden ohjelmointikielen kehitystyön, minkä seurauksena Ada-kieli standardoitiin vuonna 1983 (MIL-STD-1815). Alkuperäisestä Ada-kielestä käytetään nykyisin nimeä Ada 83. Ada 83:n määrittely muutettiin ISO-standardiksi ISO 8652 vuonna 1987. Ada on nimetty Ada Lovelacen mukaan, jota pidetään ensimmäisenä tietokoneohjelmoijana.

Ada
Ada Mascot with slogan.png
Paradigma proseduraalinen, olio-ohjelmointi (Ada 95)
Tyypitys vahva, staattinen
Yleinen suoritusmalli käännettävä
Julkaistu 1983
Vakaa versio Ada 2012 (ISO/IEC 8652:2012/Cor 1:2016) (2016)
Merkittävimmät toteutukset GNAT
Vaikuttanut C++, VHDL
Murteet Ada 83, Ada 95, Ada 2005, SPARK
Käyttöjärjestelmä alustariippumaton
Verkkosivu https://www.adaic.org/
Uutisryhmä comp.lang.ada

Päivitetyn kieliversion kehitystyö alkoi vuonna 1988, ja ensimmäinen versio uuden kielen vaatimuksiksi julkaistiin vuonna 1990. Lopullinen versio uudesta standardista julkaistiin helmikuussa 1995, joten nykyisin käytössä olevasta kielen versiosta käytetään nimitystä Ada 95. Ada 95 on ensimmäinen ISO-standardoitu oliokieli. Se on määritetty ISO-standardissa ISO/IEC 8652:1995(E). Useista muista ohjelmointikielistä poiketen Ada-kielen standardi on saatavilla ilmaiseksi. Ada 2005-kieleen on lisätty mm. Java-kielestä tutut rajapintaluokat sekä geneeriset säiliöluokat.

Adan standardi ISO/IEC 8652:2012 julkaistiin joulukuussa 2012[1] ja sen korjattu versio ISO/IEC 8652:2012/Cor 1:2016 on julkaistu 2016 vuonna.[2]

Adan pohjalta on kehitetty nykyään digitaalisuunnittelussa laajassa käytössä oleva laitteistokuvauskieli VHDL.

Ada 95:n ominaisuudetMuokkaa

Eräs tärkeimmistä Ada 95:n suunnitteluperiaatteista oli ylläpidettävyys. Kielen syntaksi on suunniteltu helppolukuiseksi ja selkeäksi, koska varsinkin suurten ohjelmistojen kohdalla lähdekoodia luetaan huomattavasti useammin kuin kirjoitetaan.

Muita Ada 95:n peruskieleen sisältyviä ominaisuuksia:

  • vahva tyypitys
  • keskeytysten käsittely
  • tuki olio-ohjelmoinnille
  • kielessä määritelty tuki rinnakkaisuudelle
  • geneeriset tyypit
  • helppo liitettävyys C-, Cobol- ja Fortran-koodiin
  • tuki laitteistoläheiselle ohjelmoinnille

Ada-kieltä käytetään pääasiallisesti ilmailuun, avaruuteen tai lääkinnällisiin laitteisiin tarkoitetuissa ohjelmistoissa, joissa suuri luotettavuus on ehdottoman tärkeää.

EsimerkkiohjelmaMuokkaa

Yleinen esimerkki ohjelmointikielen syntaksista on Hello World -ohjelma:

 with Ada.Text_IO; use Ada.Text_IO;
 procedure Hello_World is
 begin
     Put_Line("Hello World!");
 end Hello_World;

Ohjelman alun with-lauseella kerrotaan kääntäjälle Hello_Worldin käyttävän Ada.Text_IO-pakkausta (package). Pakkauksessa määritellyt proseduurit ja funktiot tuodaan näkyviin use-lauseella. Varsinaisen Hello_World-ohjelman runko on avainsanojen begin ja end välissä.

Ada ei ota kantaa avainsanojen eikä tunnisteiden kirjainkokoon.

StandardejaMuokkaa

  • ISO/IEC 8652: Information technology—Programming languages—Ada
  • ISO/IEC 15291: Information technology—Programming languages—Ada Semantic Interface Specification
  • ISO/IEC 18009: Information technology—Programming languages—Ada: Conformity assessment of a language processor
  • IEEE Standard 1003.5b-1996, POSIX-Ada liitos

LähteetMuokkaa

  1. Ada 2012 Language Standard Approved by ISO Ada Resource Association. (englanniksi)
  2. ISO/IEC 8652:2012/COR 1:2016 ISO. Viitattu 30.8.2019. (englanniksi)

Aiheesta muuallaMuokkaa