Un langage de programmation est un langage informatique formel conçu pour communiquer des instructions à une machine, en particulier un ordinateur. Les langages de programmation peuvent être utilisés pour créer des programmes destinés à contrôler le comportement d'une machine ou à exprimer des algorithmes. La plus ancienne machine programmable connue a précédé l'invention de l'ordinateur numérique et est le joueur de flûte automatique décrit au 9e siècle par les frères Musa à Bagdad, "pendant l'âge d'or islamique". Dès le début des années 1800, des "programmes" ont été utilisés pour diriger le comportement de machines telles que les métiers à tisser Jacquard et les pianos mécaniques. Des milliers de langages de programmation différents ont été créés, principalement dans le domaine de l'informatique, et il s'en crée encore beaucoup d'autres chaque année. De nombreux langages de programmation exigent que les calculs soient spécifiés sous une forme impérative (c'est-à-dire sous la forme d'une séquence d'opérations à effectuer), tandis que d'autres langages utilisent d'autres formes de spécification de programme, telles que la forme déclarative (c'est-à-dire que le résultat souhaité est spécifié, mais pas la manière d'y parvenir). La description d'un langage de programmation est généralement divisée en deux composantes: la syntaxe (forme) et la sémantique (signification).