As linguagens de programação são uma das ferramentas mais importantes e directas para a construção de um sistema informático. Num computador moderno, as diferentes linguagens são rotineiramente utilizadas para diferentes níveis de abstracção. As linguagens de programação são um meio fundamental de expressão. Os algoritmos implementados utilizando diversas linguagens de programação podem apresentar características muito diferentes, que podem ser de carácter artístico, uma vez que as linguagens de nível superior podem ser muito sintéticas e são normalmente muito expressivas; ou em termos de desempenho, uma vez que as linguagens de nível bastante inferior permitem uma organização mais directa da memória e, em geral, do desempenho do código gerado.