Языки программирования являются одним из наиболее важных и непосредственных инструментов для построения компьютерной системы. В современном компьютере различные языки используются для различных уровней абстракции. Языки программирования являются фундаментальным средством выражения. Алгоритмы, реализованные с использованием различных языков программирования, могут демонстрировать очень разные характеристики, которые могут быть художественного характера, так как языки более высокого уровня могут быть очень синтетическими и обычно очень выразительными; или с точки зрения производительности, так как языки более низкого уровня позволяют более прямую организацию памяти и в целом производительности сгенерированного кода.