Les langages de programmation sont l'un des outils les plus importants et les plus directs pour la construction d'un système informatique. Dans un ordinateur moderne, différents langages sont couramment utilisés pour différents niveaux d'abstraction. Les langages de programmation sont un moyen d'expression fondamental. Les algorithmes mis en oeuvre à l'aide de divers langages de programmation peuvent présenter des caractéristiques très différentes, qui peuvent être de nature artistique, car les langages de niveau supérieur peuvent être très synthétiques et sont généralement très expressifs, ou en termes de performances, car les langages de niveau inférieur permettent une organisation plus directe de la mémoire et, en général, des performances du code généré.