Kõrgkeel

Allikas: Vikipeedia
Näide kõrgkeelest Python

Kõrgkeeleks nimetatakse arvutiteaduses programmeerimiskeelt, mis konkreetse arvuti ülesehitusest ja operatsioonisüsteemist ei sõltu. Erinevalt madalkeeltest võib kõrgkeeltes esineda tavakeele elemente ning neid võib olla tunduvalt kergem kasutada. Kõrgkeeled võivad automatiseerida või isegi täielikult varjata olulisi arvutisüsteemide alasid (näiteks mäluhaldust), tehes programmi arendamise protsessi arusaadavamaks ja lihtsamaks. Abstraktsioonitaseme suurus näitab, kui kõrgetasemeline vaadeldav programmeerimiskeel on.[1]

Esimene arvutite jaoks välja töötatud kõrgkeel oli Konrad Zuse loodud Plankalkül.[2] Kuigi Plankalkül ei leidnud tema ajal rakendust, mõjutas see Heinz Rutishauseri keelt Superplan (ja mõnel määral ka Algolit). Esimene tõeliselt levinud kõrgkeel oli Fortran. 1958. ja 1960. aastatel Euroopa ja Ameerika arvutiteadlaste määratletud keel Algol võttis esimesena kasutusele rekursiooni ja plokkstruktuurid ning oli esimene keel, mis tegi selget vahet väärtustel, nimeparameetritel ja nendele vastaval semantikal.[3] Samuti võttis Algol kasutusele while-do-tsüklid ja if-then-else-konstruktsiooni. Umbes samal ajal võttis COBOL kasutusele kirjed ja Lisp hakkas esimese programmeerimiskeelena kasutama lambda-arvutust.[4]

Iseärasused[muuda | muuda lähteteksti]

„Kõrgkeel“ viitab masinkeelest kõrgemale abstraktsioonitasemele. Registrite, mäluaadresside ja pinudega tegelemise asemel käsitlevad kõrgkeeled muutujaid, objekte, massiive, keerukaid aritmeetilisi või kahendmuutujatega avaldisi, alamprogramme ja funktsioone, silmuseid, harusid, lukke ja muid abstraktseid infotehnoloogia mõisteid, keskendudes programmi optimaalse tõhususe asemel kasutatavusele. Erinevalt madalatasemelistest assemblerkeeltest ei oma kõrgkeeled palju elemente, mis oleksid otse masina operatsioonikoodidesse tõlgitav. Võib esineda ka muid omadusi, nagu sõnede käsitlemise rutiine, objektorienteeritud keelte funktsioone ja failide sisendeid ja väljundeid.

Suhteline tähendus[muuda | muuda lähteteksti]

Mõned tänapäeval kasutatavad kõrgkeeled on Python, Visual Basic, Delphi, Perl, PHP, ECMAScript, Ruby, Ada, Algol, BASIC, COBOL, C, C++, FORTRAN, LISP, Pascal, Prolog ja paljud teised.[5]

Terminid „kõrgkeel“ ja „madalkeel“ on olemuselt suhtelised. Mõne aastakümne eest peeti C programmeerimiskeelt ja muid sarnaseid keeli kõrgetasemelisteks ning assemblerkeelt madalkeeleks.[6] Tänapäeval võivad paljud programmeerijad viidata C-keelele kui madalkeelele, kuna sellel puudub käitusajateek ning see toetab põhimõtteliselt ainult skalaaroperatsioone ja mälu otseaadresse. Seega seguneb see kergesti assemblerkeelega ja masina tasemel protsessorite ja mikrokontrolleritega.

Assemblerkeelt ennast võib pidada masinkoodi kõrgema taseme esindajaks, sest see võib pooldada lisaks konstantidele ka (piiratud) avaldisi, muutujaid, protseduure ja andmestruktuure. Masinkood on omakorda oma olemuselt veidi kõrgemal tasemel kui mikrokood või paljudes protsessorites sisemiselt kasutatavad mikrotehted.

Täitmisviisid[muuda | muuda lähteteksti]

Nüüdisaegsetel kõrgkeeltel on kolm üldist täitmisviisi:[7]

Interpreteeritud 
Interpreteeritud koodi puhul loetakse selle süntaksit ja täidetakse see kohe, ilma kompileerimisetapita. Programm, mida kutsutakse interpretaatoriks, loeb igat programmi rida ning täidab vajalikud käsud. Interpretaatori ja kompilaatori hübriid koostab programmi alusel masinkoodi ning käivitab selle. Võrreldes teiste variantidega on interpretaatorid tavaliselt lihtsaimad keele käitumise rakendused.
Kompileeritud 
Kompileeritud koodi puhul viiakse selle süntaks enne käivitamist täitmisprogrammi kujule. Esineb kahte tüüpi kompileerimist:
Masinkoodi genereerimine 
Mõned kompilaatorid viivad lähtekoodi otse masinkoodi. See on kompileerimise originaalviis. Keeli, mis tõlgitakse otse ja täielikult masinkoodi, võidakse kutsuda „täielikult kompileeritavateks“ keelteks. Vaata näiteks assemblerkeelt.
Vahekeelde tõlkimine 
Mõnikord võidakse lähtekood tõlkida esmalt vahekeelde ja alles seejärel masinkoodi. Vaheetapil võib programm olla näiteks baitkoodi kujul. Seejärel tuleb vaheetapi tulemus enne programmi täitmist interpreteerida või täiendavalt kompileerida. Virtuaalmasinad, mis täidavad baitkoodi või viivad selle täiendavalt üle masinkoodi, on hajustanud kord selge piiri vahekeelte ja täielikult kompileeritavate keelte vahel.
Transkompileeritud 
Kood võidakse viia mõne madalama keele terminitele, mille jaoks kompilaatorid juba laialdaselt saadaval on. Selliseks tõlkimiseks on levinud sihtmärgid JavaScript ja C-programmeerimiskeel. Mõned näited on CoffeeScript, Chicken Scheme ja Eiffel.

Kõrgkeele arhitektuur[muuda | muuda lähteteksti]

Alternatiivselt on arvutil võimalik kõrgkeelt otseselt rakendada. Arvutiarhitektuuri, mis on välja töötatud konkreetse kõrgkeele jaoks, kutsutakse kõrgkeele arhitektuuriks.[8]

Viited[muuda | muuda lähteteksti]

  1. "HThreads - RD Glossary". Run Digital. Kasutatud 17.12.2016. Inglise keeles.
  2. Wolfgang K. Giloi. "Konrad Zuse's Plankalkül: The First High-Level, "non von Neumann" Programming Language". Kasutatud 17.12.2016. Inglise keeles.
  3. Siiski puudus sellel arusaam viiteparameetritest, mis võis teatud olukordades probleemseks osutuda. Seetõttu sisaldasid mitmed järeltulijad, nagu AlgolW, Algol68, Simula, Pascal, Modula ja Ada viiteparameetreid.
  4. "Introduction to Lisp". Kasutatud 17.12.2016. Inglise keeles.
  5. "high-level language". ITBusinessEdge. Kasutatud 17.12.2016. Inglise keeles.
  6. David Chisnall. "Debunking the Myth of High-level Languages". 14.06.2006. Kasutatud 16.01.2017. Inglise keeles.
  7. Tushar Soni. "Difference Between Compiler and Interpreter". 03.10.2016. Kasutatud 17.12.2016. Inglise keeles.
  8. Yaohan Chu. "High-Level Computer Architecture". Kasutatud 17.12.2016. Inglise keeles.

Välislingid[muuda | muuda lähteteksti]