Глоссарий

Здесь для справки приводятся пояснения некоторых терминов из области языков программирования.

Императивное (операторное) программирование

• Динамическое определение типов. В некоторых языках программирования типы переменных и параметров функций определяются в процессе компиляции. Например, по оператору присваивания «i=2» компилятор может понять, что i — это (скорее всего) целочисленная переменная.

• Константы. Возможность задавать именованные константы (подобно конструкции define из Си или const из Паскаля).

• Переменные. Не все языки программирования позволяют задавать переменные, — например, в функциональных языках все объекты данных неизменяемы (можно только создавать копии).

• Перечисление. Список констант, например, enum в Си.

• Массивы. В большинстве новых языков массивов как самостоятельной конструкции нет, вместо них используются списки. Однако в нефункциональных языках можно получить доступ к элементу списка по его номеру, например «k[5]».

• Структуры. Массивы из элементов разного типа в традиционных языках называются структурами (Си) или записями (Паскаль). В новых языках роль структур, как правило, выполняют классы или списки.

• Структуры с вариантами. В традиционных языках обычно имеется возможность создавать структуры с вариантной частью (когда общая память выделяется под разные наборы полей). С появлением ООП можно их считать анахронизмом.

• Булевский. Булевский (логический) тип присутствует во всех языках программирования. Обычно применяются специальные константы «true» и «false». Использование вместо них целочисленных значений 0 и 1 часто приводит к труднообнаруживаемым ошибкам (в частности, к неверному преобразованию типов в условных выражениях).

• Указатели. Указатели были основным инструментом в традиционных языках программирования. ООП вытеснило указатели из инструментария современного программиста, однако даже в новых языках такие конструкции иногда присутствуют (как правило, по соображениям эффективности).

• Отступы. Программисты издавна используют отступ (пустые пробелы в начале строки) для улучшения читабельности программ.

• Присваивание. Оператор присваивания записывает указанное значение в память, отведенную для переменной.

• Последовательность (действий). Идеология функционального программирования отрицает последовательность как принцип — функциональный интерпретатор сам определят порядок вычисления функций. Однако для взаимодействия с императивной внешней средой (например, для операций ввода-вывода) способы задания последовательности действий необходимы.

• if then else. Условный оператор в том или ином виде необходим в каждом языке программирования.

• elsif. Используется для удобства записи нескольких равнозначных вариантов. Необходимо, чтобы условный оператор позволял использовать несколько elsif (или elseif, или elseif).

• while. Цикл с предусловием (циклы while в Си и Паскале). Выполняется, пока условие истинно.

• for. Цикл с параметром (циклы for в Си и Паскале). Выполняется, пока параметр не превысит конечное значение.

• Исключения. Обработка исключительных ситуаций применяется при написании процедур ввода-вывода или параллельного программирования.