Език за програмиране е изкуствен език, предназначен за изразяване на изчисления, които могат да се извършат от машина, по-специално от компютър. Езиците за програмиране могат да се използват за създаване на програми, които контролират поведението на машина, да реализират алгоритми точно или във вид на човешка комуникация.

Много програмни езици имат някаква форма на писмена спецификация на синтаксиса си (форма) и семантика (значение). Някои езици са дефинирани чрез спецификация. Например, езикът за програмиране C е език специфициран чрез ISO стандарт. Други езици като Perl, имат доминираща имплементация, която се използва като препоръка.