Язык программирования

Материал из свободной русской энциклопедии «Традиция»
Перейти к навигации Перейти к поиску
Язык программирования
Искусственный язык
Отношения с другими понятиями:
Классифицируется по:
уровень абстракции, область применения, поддерживаемая парадигма программирования
Представители:

Язы́к программи́рования — формальная знаковая система, предназначенная для описания алгоритмов в форме, которая удобна для исполнителя (например, компьютера). Язык программирования определяет набор лексических, синтаксических и семантических правил, используемых при составлении компьютерной программы. Он позволяет программисту точно определить то, на какие события будет реагировать компьютер, как будут храниться и передаваться данные, а также какие именно действия следует выполнять над этими данными при различных обстоятельствах.

Классификация языков программирования[править | править код]

Языки программирования классифицируют по таким критериям:

Уровень абстракции
Языки программирования высокого уровня оперируют сущностями ближе человеку, такими как объекты, переменные, функции. Языки программирования низкого уровня оперируют сущностями ближе машине: байта, адреса, инструкции. Текст программы на языке высокого уровня обычно намного короче, чем текст такой же программы на языке низкого уровня, однако программа имеет больший размер.
Область применения
Универсальные и специализированные. Специализированные языки тоже бывают Тьюринг-полные, но все же их область применения ограничена, как например в оболочке shell.
Поддерживаемые парадигмы программирования
Объектно-ориентированные, логические, функциональные, структурные… Императивные языки базируются на идее переменной, значение которой меняется присвоением. Они называются императивными (лат. imperativa, «повелительная»), поскольку состоят из последовательностей команд, которые обычно содержат присвоения переменных.