Параметри, значення яких передають у підпрограму під час її виклику, називають фактичними

Заголовок процедури після її назви містить список формальних параметрів, оскільки в процедурі ми визначаємо можливість існування довільного трикутника і обчислюємо значення його площі.

Значення фактичного параметра stor1 буде передано формальному параметру х, значення фактичного параметра stor2 буде передано формальному параметру у, а значення фактичного параметра stor3 буде передано формальному параметру z. Параметри, що описані в заголовку підпрограми і під час її виклику набувають значень відповідних фактичних параметрів, називають формальними.

Функція відрізняється від процедури тим, що, по-перше, передає в точку виклику скалярне значення (результат своєї роботи), а по-друге, ім'я функції може входити у вирази, як операнд. Функція, якщо вона зустрічається у виразі, називається покажчиком функції або звертанням до функції.

Функція, визначена користувачем, складається з заголовка і тіла функції. Заголовок містить зарезервоване слово Function, ідентифікатор (ім'я) функції та, укладений у круглі дужки, необов'язковий список формальних параметрів і тип значення, що повертається функцією.

Формат опису:

Function <ім'я> [(формальні параметри)]:<тип результату>;

Ім'я функції - унікальний у межах блока ідентифікатор. Результат, що повертається, може мати будь-який простий тип.

Тіло функції являє собою блок, за структурою аналогічний основній програмі:

Function <ім'я> [(формальні параметри)]:<тип результату>;

[<розділи описів>;]

Begin

<розділ операторів>

end;

У розділі операторів повинен перебувати хоча б один оператор, що присвоює ідентифікатору функції значення. Якщо таких операторів декілька, то результатом виконання функції буде значення останнього оператора присвоювання.

Звертання до функції здійснюється за іменем з необов'язковою вказівкою списку аргументів. Кожен аргумент повинен відповідати формальним параметрам, зазначеним у заголовку, і мати той же тип.

Формат звертання:

Y:=<ідентифікатор функції > [(фактичні параметри)];

Функції можуть повертати значення цілих, дійсних, булевих, літерних(символьних) і рядкових типів.

Загальна структура функції збігається із структурою процедури, за виключенням заголовку.

Загальний опис функції:

Function <назва функції> (<список формальних параметрів>):<тип результату>;

Const <опис локальних сталих>;

Type <опис локальних типів користувача>;

Var <опис локальних змінних>;

<опис вкладених процедур та функцій>;

Begin

<тіло процедури>

<назва функції>:=<вираз>;

End;

Таким чином, викликавши функцію, ви завжди маєте отримати результат її виконання, тип якого описали в заголовку функції. Для цього в тілі функції має бути оператор, у якому відбувається присвоєння результату ідентифікатору функції:

<назва функції>:=<вираз>;

Проте назва функції ніколи не може брати участь у запису будь-яких операторів, крім результату роботи функції, тобто ідентифікатор (назва) функції не може брати участь в обчисленнях.