Языки́ программи́рования — формальные языки для описания данных (информации) и алгоритма (программы) их обработки на ЭВМ. Основу языков программирования составляют алгоритмические языки.
Первыми языками программирования были машинные языки, представляющие собой системы команд для конкретных ЭВМ. С развитием вычислительной техники появились более сложные языки программирования, ориентированные на решение различных задач: обработка экономической информации (кобол), инженерные и научные расчеты (фортран), обучение программированию (алгол-60, паскаль), моделирование (слэнг, симула) и др. Расширение сферы использования ЭВМ привело к появлению многоцелевых (универсальных) языков программирования для записи алгоритмов решения задач практически из любой области (алгол-68, СИ, ПЛ/1 и др.), а также языков программирования для персональных ЭВМ (бейсик, паскаль и др.). Для перевода (трансляции) описаний алгоритмов с одного языка программирования на другой, преимущественно на машинный язык, применяют специальные программы — трансляторы.