Programmiersprachen sind eines der wichtigsten und direktesten Werkzeuge für die Konstruktion eines Computersystems. In einem modernen Computer werden routinemäßig verschiedene Sprachen für verschiedene Abstraktionsebenen verwendet. Programmiersprachen sind ein grundlegendes Ausdrucksmittel. Algorithmen, die mit verschiedenen Programmiersprachen implementiert werden, können sehr unterschiedliche Eigenschaften aufweisen, die künstlerischer Natur sein können, da Sprachen auf höherer Ebene sehr synthetisch sein können und in der Regel sehr ausdrucksstark sind; oder in Bezug auf die Leistung, da Sprachen auf niedrigerer Ebene eine direktere Organisation des Speichers und im Allgemeinen der Leistung des generierten Codes ermöglichen.