Kõrgkeeleks nimetatakse arvutiteaduses programmeerimiskeelt, mis konkreetse arvuti ülesehitusest ja operatsioonisüsteemist ei sõltu. Erinevalt madalkeeltest võib kõrgkeeltes esineda loomuliku keele 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]

Näide kõrgkeelest Python

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

"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

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

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

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

  1. "HThreads - RD Glossary" (inglise keeles). Run Digital. Originaali arhiivikoopia seisuga 26. august 2007. Vaadatud 17.12.2016.{{netiviide}}: CS1 hooldus: tundmatu keel (link)
  2. Wolfgang K. Giloi. "Konrad Zuse's Plankalkül: The First High-Level, "non von Neumann" Programming Language" (inglise keeles). Vaadatud 17.12.2016.{{netiviide}}: CS1 hooldus: tundmatu keel (link)
  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" (inglise keeles). Vaadatud 17.12.2016.{{netiviide}}: CS1 hooldus: tundmatu keel (link)
  5. "high-level language" (inglise keeles). ITBusinessEdge. Vaadatud 17.12.2016.{{netiviide}}: CS1 hooldus: tundmatu keel (link)
  6. David Chisnall (14.06.2006). "Debunking the Myth of High-level Languages" (inglise keeles). Vaadatud 16.01.2017.{{netiviide}}: CS1 hooldus: tundmatu keel (link)
  7. Tushar Soni (03.10.2016). "Difference Between Compiler and Interpreter" (inglise keeles). Originaali arhiivikoopia seisuga 18.01.2017. Vaadatud 17.12.2016.{{netiviide}}: CS1 hooldus: tundmatu keel (link)
  8. Yaohan Chu. "High-Level Computer Architecture" (PDF) (inglise keeles). Vaadatud 17.12.2016.{{netiviide}}: CS1 hooldus: tundmatu keel (link)

Välislingid muuda