プログラミング言語(プログラミングげんご)はコンピュータに対する一連の動作の指示を記述するための人工言語の総称である。この一連の指示をプログラムと呼び、それを記述することをプログラミングと呼ぶ。自然言語と同様、統語論(構文)規則と意味論規則で定義される。通常、それらを示した文書で仕様が示されるが、公式の
実装だけで定義される言語もある。
プログラミング言語は、情報を組織し処理する
タスクについての理解を容易にし、
アルゴリズムを正確に表現する。場合によっては、あらゆる
アルゴリズムを記述できる言語だけを「
プログラミング言語」と定義することもある。そこまでの機能のない人工言語を「コンピュータ言語」と呼ぶこともある。また、プログラミングへの応用も想定して設計されたロジバンのように、人間言語とコンピュータ言語の中間に位置するものがある。
様々な
プログラミング言語が、毎年のように生み出されている。