Alates ajast, mil inimkond tuli välja esimese programmeeritava seadmega, on loodud üle kahe tuhande programmeerimiskeele. Ja igal aastal kasvab nende arv pidevalt. Need aitavad luua sidet keerukate tehniliste seadmete erinevate seadmete vahel.
Programmeerimiskeel on ametlik märgisüsteem, mida kasutatakse arvutiprogrammide kirjutamisel. Nad täidavad erinevaid reegleid (leksikaalsed, semantilised ja süntaktilised), mis määravad programmi välimuse ja toimingud, mida arvuti peab tegema. Valitud ainevaldkonda kõige paremini sobivad programmeerimiskeelte klassid on suurel hulgal, on isegi ausalt öeldes koomilisi. Neid nimetatakse esoteerilisteks ja need pole mõeldud praktiliseks kasutamiseks. Näiteks on keeli, millel on kirjanduslik süntaks (Shakespeare, Chef), keelte väljatöötamine, mis on mõeldud koodi kirjutamise raskendamiseks (Malbolge, ALPACA), või ebainimliku loogikaga - Var'aq (kasutab klingoni loogikat) võistlus Star Treki filmist). Ja muid koomiksikeeli, kuid lisaks koomilisele on ka palju professionaalseid. Praegu kasutatav põhiklass on objektile orienteeritud keeled. See on kõrge tase, mis on mõeldud nii väikeste programmide kui ka suurte tarkvarasüsteemide kirjutamiseks. Selle klassi peamised esindajad on Java, C #, C ++, Ruby, Python. Samuti tuleks märkida loogilised programmeerimiskeeled. Need põhinevad paradigmat tõestaval automaatsel teoreemil ja põhinevad matemaatilise loogika teoorial. Kuulsaim loogika programmeerimiskeel on Prolog. See kasutab esimese järgu predikaatloogikat. Vaatamata loodud keelte suurele arvule ja nende funktsionaalsusele on tarkvaratoodete loomiseks alati vaja valida sobivad tööriistad. Näiteks kui peate juurutama kliendi-serveri rakenduse, siis ilmselgelt pole loogiline keel selleks sobiv. Seetõttu tuleb valida ülesande lahendamiseks kõige sobivam.
