En informatique, un langage de programmation est une notation artificielle, destinée à exprimer des algorithmes et produire des programmes. D'une manière similaire à une langue naturelle, un langage de programmation est fait d'un alphabet, un vocabulaire, des règles de grammaire, et des significations1,.
Les langages de programmation servent à décrire les structures des données qui seront manipulées par l'appareil informatique, et à indiquer comment sont effectuées les manipulations, selon quels algorithmes. Ils servent de moyens de communication par lesquels le programmeur communique avec l'ordinateur, mais aussi avec d'autres programmeurs; les programmes étant d'ordinaire écris, lus, compris et modifiés par une communauté3
Un langage de programmation est mis en œuvre par un traducteur automatique: compilateur ou interpréteur. Un compilateur est un programme informatique qui transforme un texte écrit dans un langage de programmation donné en quelque chose qui peut être exécuté par un ordinateur, à savoir un programme en langage machine ou en code intermédiaire2.
Les langages de programmation offrent différentes possibilités d'abstraction, et une notation proche de l'algèbre, permettant de décrire de manière concise et facile à saisir les opérations de manipulation de données et l'évolution du déroulement du programme en fonction des situations. La possibilité d'écriture abstraire libère l'esprit du programmeur d'un travail superflu, et lui permet de se concentrer sur des problèmes plus avancés2
