Programski jezik je jezik za pisanje programa koje rač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: