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