Programavimo kalba

**Programavimo kalba** – dirbtinė kalba, skirta programoms užrašyti. Programavimo kalbų pagalba sukurtos programos valdo elektroninių įrenginių, o ypač kompiuterių veikimą.

Programavimo kalbos aprašymas susideda iš sintaksinių bei semantinių taisyklių, kurios, atitinkamai, nusako jos struktūrą ir prasmę. Daugumos programavimo kalbų sintaksinės ir semantinės taisyklės yra tam tikra forma aprašomos jų specifikacijose, kai kurių iš jų yra oficialiai paskelbtos – įgyvendintos (pvz., priimtais ISO standartais), tuo tarpu kitos yra įgyvendintos dominuojančiais sertifikatais (pvz., Perl).

## Apibrėžtis

Savybės, kurios paprastai yra keliamos kuriamoms programavimo kalboms:

* *Funkcionalumas*: Programavimo kalba yra kalba, skirta užrašyti programas kompiuteriui, kurios leistų panaudoti kompiuterio resursus, atliekant tam tikrus skaičiavimus arba algoritmus ir leistų valdyti išorinius įrenginius, pvz., spausdintuvus, robotus ir panašiai.

* *Paskirtis*: Skirtingai nuo natūraliųjų kalbų, kurios paprastai yra naudojamos tik žmonių tarpusavio bendravimui, programavimo kalbos komandų pagalba leidžia žmonėms bendrauti su kompiuteriais ar kitais elektroniniais įtaisais. Kai kurios programavimo kalbos yra naudojamos bendraujant vienam įrenginiui su kitu. Pavyzdžiui, PostScript programos paprastai yra sukuriamos kitų programų, kad valdyti spausdintuvus arba displėjus.

* *Specialūs konstruktai*: Programavimo kalbos gali turėti specialius konstruktus, skirtus apibrėžti ir manipuliuoti tam tikromis duomenų struktūromis arba kontroliuoti duomenų srautus.

* *Panaudojimo galimybės*: Skaičiavimų teorija klasifikuoja programavimo kalbas pagal skaičiavimus, kuriuos galima atlikti naudojant šias programavimo kalbas. Visomis pilnai Tiuringo kalbomis galima sukurti tą pačią algoritmų aibę. Pavyzdžiui, SQL ir Charity yra nepilnai Tiuringo kalbos, nors taip pat yra vadinamos programavimo kalbomis.

Kalbos, kurios nėra skirtos atlikti skaičiavimams, tokios kaip žymėjimų kalbos, pavyzdžiui, HTML, arba formalios gramatikos, pvz., BNF, paprastai nėra laikomos programavimo kalbomis. Programavimo kalbos (pilnos arba ne visai pilnos Tiuringo kalbos) gali būti integruotos į šias ne skaičiavimais atlikti skirtas kalbas.

## Istorija
Kai tik atsirado pirmi (primityvūs) kompiuteriai, jiems pradėtos rašyti programos kalbomis, atitinkančiomis asemblerio kalbą.

* 1945 m. sukurta pirmoji žinoma kalba Plankalkül.
* XX a. 6-ajame dešimtmetyje susidarius palankioms sąlygoms, sukurta nemažai kalbų, tarp jų Fortran (1954), Algol 58 (1958), Lisp (1959).
* Vėliau sukurta daug įvairių tipų ir paskirčių kalbų; žinomesnės iš jų: Cobol (1960), Simula (1962), BASIC (1964), Logo (1967), Pascal (1971), C (1972), C++ (1983), Perl (1987), Java (1995), PHP (1997), C# (2000)
* Nuo XX a. 6-ojo dešimtmečio vidurio dauguma kalbų kurtos ne iš naujo, o tobulinant ir jungiant jau sukurtas kalbas.

## Skirstymas

Čia išvardinti keli programavimo kalbų klasifikavimo būdai.

### Pagal vykdymo tipą
Vykdymo tipas – būdas, kaip programos kodas paverčiamas kompiuteriui suprantamomis instrukcijomis ir vykdomas.
* Teorinės kalbos – aprašytos, tačiau nevykdomos.
* Kompiliuojamos kalbos – kompiliatorius iš pradinio teksto sukuria vykdomą programą. (pvz., C, Pascal)
* Interpretuojamos kalbos – jų išeities tekstas analizuojamas vykdant. (pvz., BASIC, PHP, Perl, Python, Ruby)
* Mišrios kalbos – naudojamas ir kompiliatorius, ir interpretatorius (pvz., Java; taip pat žr. JIT)

### Pagal abstrakcijos lygį
Kuo kalba abstraktesnė, tuo ji yra aukštesnio lygio.
* Mašininis kodas
* Žemo lygio kalbos (pvz., Asembleris)
* Sisteminės kalbos (pvz., C)
* Objektinės kalbos (pvz., SmallTalk)

### Pagal vyraujančia paradigmą
* Funkcinės kalbos (pvz., Lisp, ML)
* Procedūrinės kalbos (pvz., C, Pascal)
* Objektinės kalbos (pvz., SmallTalk, Java, Ruby)
* Loginės kalbos (pvz., Prolog)
* Daugaparadigmės kalbos (pvz., Python (nors dažniausiai naudojama objektinė paradigma)

### Pagal paskirtį
Kai kurios kalbos dažniau sutinkamos tam tikrose, joms būdingose, nišose. Vienos kalbos buvo sukurtos specialiai tam tikros srities problemoms spręsti, kitos išpopuliarėjo savo srityje dėl istorinių aplinkybių.

Keletas išskirtinių sričių su joms būdingomis kalbomis:
* Sisteminis programavimas (operacinių sistemų, kompiliatorių) – C, C++;
* Interneto svetainių programavimas – PHP, Perl, Python, Adobe ColdFusion;
* Matematiniai skaičiavimai – PROLOG, Fortran, MATLAB, MAPLE;
* Mokymas – Pascal, Logo.

## Šaltiniai

## Nuorodos

* Programavimo kalbos (angl.) Apžvalgos ir palyginmai
* 99 Buteliai alaus (angl.)  Daugelio programavimo kalbų pavyzdžių kolekcija
* „Labas, Pasauli“ programos skirtingomis kalbomis
* sourceforge.net naudojamų kalbų populiarumo palyginimas
* TIOBE programavimo kalbų populiarumo indeksas