Nuo tada, kai žmonija sugalvojo pirmąjį programuojamą įrenginį, sukurta daugiau nei du tūkstančiai programavimo kalbų. Kasmet jų skaičius nuolat auga. Jie padeda užmegzti ryšį tarp įvairių sudėtingos techninės įrangos prietaisų.
Programavimo kalba yra oficiali ženklų sistema, naudojama rašant kompiuterines programas. Jie laikosi įvairių taisyklių (leksinių, semantinių ir sintaksinių), kurios lemia programos išvaizdą ir veiksmus, kuriuos turi atlikti kompiuteris. Yra daugybė programavimo kalbų klasių, kurios labiausiai tinka pasirinktai dalykinei sričiai, yra, tiesą sakant, ir komiškų. Jie vadinami ezoteriniais ir nėra skirti praktiniam naudojimui. Pavyzdžiui, yra kalbų, turinčių literatūrinę sintaksę (Šekspyras, virėjas), kalbų, skirtų apsunkinti kodo rašymą (Malbolge, ALPACA), arba pagal nežmonišką logiką - Var'aq (naudojama Klingono logika) „Star Trek“filmo lenktynės). Ir kitų komiškų kalbų, tačiau be komiškų yra daug profesionalių kalbų. Pagrindinė klasė, kuri šiuo metu naudojama, yra į objektą orientuotos kalbos. Tai yra aukštas lygis, skirtas rašyti tiek mažoms programoms, tiek didelėms programinės įrangos sistemoms. Pagrindiniai šios klasės atstovai yra Java, C #, C ++, Ruby, Python. Taip pat reikėtų atkreipti dėmesį į logines programavimo kalbas. Jie remiasi automatine teorema, įrodančia paradigmą, ir remiasi matematinės logikos teorija. Garsiausia loginio programavimo kalba yra „Prolog“. Nepaisant didelio sukurtų kalbų skaičiaus ir jų funkcionalumo, naudojama pirmos eilės predikatinė logika. Visada būtina pasirinkti tinkamus įrankius programinės įrangos produktams kurti. Pavyzdžiui, jei jums reikia įdiegti kliento-serverio programą, akivaizdu, kad loginė kalba tam netinka. Todėl būtina pasirinkti tą, kuris labiausiai tinka užduočiai spręsti.
