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