Prema teorijskoj definiciji, jezik se shvaća kao komunikacijski sustav koji ima određenu strukturu, sadržaj i uporabu. Programiranje je, u rječniku računala, postupak pisanja izvornog koda softvera . Na taj način, može se reći da programiranje govori računalnom programu kakvu akciju mora izvršiti i na koji način to može odrediti.
S tim jasnim pojmovima možemo potvrditi da je programski jezik ona struktura koja, s određenom sintaktičkom i semantičkom bazom, daje različite upute računalnom programu.
Kada je riječ o utvrđivanju porijekla programskog jezika, moramo se bez sumnje pozvati na Adu Lovelace, koja se smatra prvim računalnim programerima poznatim širom svijeta. Dakle, zanimljivo, govorio je programski jezik Ade u njegovu čast. A to je da je ta figura izvršila ne samo manipulaciju nizom simbola za stroj britanskog znanstvenika Charlesa Babbagea, nego i postizanje potrebnih uputa kako bi računalo moglo napraviti niz početnih izračuna.
Unutar onoga što je programski jezik vrlo je važno naglasiti da profesionalci koji su posvećeni razvoju ovog rada sa skupom elemenata koji mu daju oblik i značenje, omogućuju im da rade i ostvare svoje ciljeve. Među njima bi, primjerice, bile varijable, vektori, petlje, ograničenja, sintaksa ili statička semantika.
Programske sekvence za najčešće radnje povezane su s imenima s lako zapamćenim imenima (kao što su ADD ili MUL ). Skup instrukcija naziva se asemblerski jezik .
Potrebno je razlikovati programski jezik i računalni jezik . Postoje računalni jezici koji zapravo nisu programski jezici, kao što je slučaj s HTML-om ( označni jezik ).
Programski jezik ima mogućnost precizno odrediti koje podatke treba koristiti računalna oprema, kako se ti podaci trebaju sačuvati ili prenijeti te koje upute računalo treba pokrenuti u određenim okolnostima.
Postoji nekoliko programskih jezika, što je dovelo do razvoja tumača (programa koji prilagođavaju upute na drugom jeziku) i prevoditelja (onih programa koji prevode s jednog jezika na drugi).
Prema njihovoj razini apstrakcije, oni govore o strojnom jeziku (to su binarni nizovi koje računalo može čitati izravno), jezik niske razine (programski jezik koji pristupa radu računala), jezik polu-razine (dijeli karakteristike s jezicima niske razine, ali i najnaprednijim) ili jezikom visoke razine (sastavljen od elemenata ljudskog jezika).
Mnogo je jezika koji trenutno postoje na tržištu tehnologije i informacijske tehnologije. Međutim, među najvažnijim možemo spomenuti Pascal, Visual Basic, SQL, Delphi, Lingo, Cobol, HTML ili Java. Potonji je, primjerice, karakteriziran jer ga je 1995. godine razvio računalni znanstvenik James Gosling i zato što je objektno orijentiran.
U međuvremenu, spomenuti HTML jezik može ustanoviti da je danas jedan od najvažnijih jer se koristi za izradu web stranica.