I linguaggi di programmazione sono uno degli strumenti più importanti e diretti per la costruzione di un sistema informatico. In un computer moderno si utilizzano abitualmente linguaggi diversi per diversi livelli di astrazione. I linguaggi di programmazione sono un mezzo di espressione fondamentale. Gli algoritmi implementati utilizzando linguaggi di programmazione diversi possono presentare caratteristiche molto diverse, che possono essere di carattere artistico, in quanto i linguaggi di livello più alto possono essere molto sintetici e di solito sono molto espressivi; oppure in termini di prestazioni, in quanto i linguaggi di livello più basso consentono un'organizzazione più diretta della memoria e in generale delle prestazioni del codice generato.