A számítástechnikában a programnyelv olyan utasítások sorozata, amelyek az ember és a számítógép számára is értelmes módon tartalmazzák a gép által végrehajtandó parancsokat és műveleteket.
A korai programnyelvek gépi kódú, assembler programozásúak voltak, majd megjelentek az olyan magasabb szintű programnyelvek, mint a Pascal, a Java, a C, C++, stb. Maga az operációs rendszer is tulajdonképpen egy programnyelv.