プログラミング言語（プログラミングげんご）は規則で定義される。通常、それらを示した文書で仕様が示されるが、公式の実装だけで定義される言語もある。

プログラミング言語は、情報を組織し処理するタスクについての理解を容易にし、アルゴリズムを正確に表現する。場合によっては、あらゆるアルゴリズムを記述できる言語だけを「プログラミング言語」と定義することもある<ref>数学的には、これはプログラミング言語がチューリング完全であることを意味する。 </ref>。そこまでの機能のない人工言語を「コンピュータ言語」と呼ぶこともある。また、プログラミングへの応用も想定して設計されたロジバンのように、人間言語とコンピュータ言語の中間に位置するものがある。

）には8152のコンピュータ言語がリストアップされている。</ref>が、毎年のように生み出されている。