Programski jezik jejezik za pisanje programa kojeračunalo zna i može izvršiti.
Programski jezici su definisani preko sintaksnih i semantičkih pravila koja respektivno opisuju njihovu strukturu i značenje. Mnogi programski jezici imaju neku formu pisanih specifikacija njihove sintakse i semantike, a neki su definisani jedino preko zvanične implementacije.
Programski jezici se koriste da olakšaju komunikaciju sa računarom prilikom organizovanja i manipulacije informacija, ali i da precizno izraze algoritme. Neki autori ograničavaju izraz „programski jezik“ samo na jezike kojima se mogu izraziti svi mogući algoritmi, a ponekad se koristi izraz „računarski jezik“, koji se odnosi na više ograničene vještačke jezike.
U međuvremenu je stvoreno više hiljada programskih jezika, i novi se stvaraju svake godine.
Osnovna podjela je na niže (strojne jezike) i više (orijentirane ljudima).
Viši jezici pak mogu biti:
Sve je počelo sa strojnim jezicima (asemblerima), koji su se brzo izvršavali, ali sporo pisali, te se danas samo kritični dijelovi operativnih sustava pišu na taj način.
- 1954. pojavio seFortran, razvio ga je John Backus uIBM-u.
- Iza Fortrana prvi se pojavioAlgol, u kasnim 1950-im
- bili su to jezici nezgrapne sintakse, zato su došliCobol1960. iBasic1964. godine sa svojom sintaksom koja sliči na engleski jezik
- dolazi vrijeme za razvoj "pravih" programskih jezika:Pascal Niklausa Wirtha iC Kena Thompsona i Dennisa Ritchie-a.
- 1974. za potrebe vojskeSAD-a razvijena jeAda
- OOP kuca na vrata:1980. tu je Smalltalk-80, a1985. pojavila se prva implementacijaC++ koji je zamislioBjarne Stroustrup.
- 1987. Larry Wall je stvorioPerl
- 1990. Guido van Rossum je izbacio konkurenciju Perlu,Python
- 1994. pojavio sePHP Rasmusa Lerdorfa, koji je prvenstveno namijenjen kreiranju web aplikacija, (nešto poputJSPa iASP-a za Javu i VisualBasic, respektivno)
- 1996. pojavila seJava tvrtke Sun Microsystems
- krajem1999. godine pojavio seD, koji je zanimljiva mješavina programskih jezika C, C++ i Jave
