Раздел 6: Подпрограммы

Подпрограмма — это программный блок или встроенная операция, выполнение которой вызывается с помощью вызова подпрограммы. Существуют два типа подпрограмм: процедуры и функции. Вызов процедуры является выражением; вызов функции — выражением и возвращает значение. Определение подпрограммы может быть представлено в двух частях: объявление подпрограммы, определяющее её интерфейс, и тело_подпрограммы, определяющее её выполнение. Операторы и перечислительные литералы являются функциями.

Вызываемый сущность — это подпрограмма или точка входа (см. Раздел 9). Вызываемая сущность вызывается с помощью вызова; то есть, вызов подпрограммы или вызов точки входа. Вызываемый конструкт — это конструкт, определяющий действие вызова над вызываемой сущностью: тело_подпрограммы, тело_точки_входа или оператор_приема.