Существует три типа языков программирования:

1. Языки общего назначения и специализированные языки

Языки программирования общего назначения, такие как Python, позволяют решать довольно широкий круг задач – от автоматизации рутины в операционных системах и системном администрировании, создания веб-страниц до запуска моделей машинного обучения.
Специализированные языки программирования, как правило, ориентированы на конкретную платформу или решение узкой задачи. Так, SQL – язык для манипуляций запросами, который достаточно сильно привязан к особенностям работы баз данных.

2. Интерпретируемые и компилируемые языки

В интерпретируемых языках, например, PHP или Python, программа выполняется последовательно, строчка за строчкой в соответствии с исходным кодом.
Компилируемые языки, такие как Java или С, требуют, чтобы предварительно программист скомпилировал исходный код в машинный или объектный код – и лишь затем происходит запуск программы.

3. Низкоуровневые и высокоуровневые языки

Низкоуровневые языки программирования позволяют писать очень оптимизированный код, причём оптимизация происходит на уровне связи алгоритма и аппаратного обеспечения. Разработчик непосредственно влияет на то, как происходят вычисления и работа с памятью. Примером являются машинные коды, которые работают на уровне процессора или микрочипа.
Также к низкоуровневым можно отнести язык ассемблера, работающий с инструкциями процессора наподобие «положи это число в такой-то регистр», «возьми из этого регистра число и перепрыгни сюда, выполни следующую инструкцию». Таким образом, на языке ассемблера никто не пишет веб-приложения, но он отлично подходит для решения других задач.

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