Тема 5. Функції. Процедури. Пакети. Вектори та матриці

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

Процедура на Maple-мові виглядає наступним чином:

name:=proc (формальні параметри)

вираження від формальних параметрів

end;

З використанням функцій та процедур в мові Maple пов’язані такі поняття, як їх оголошення, виклик і визначення.

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

Формальні параметри функції - змінні, які приймають значення при визові функції в послідовності їх опису списку параметрів. Ідентифікатори формальних параметрів не повинні співпадати з ідентифікаторами змінних, які оголошуються в середині тіла функції.

Тіло функції представляє собою складений оператор.

Можна вводити локальні, визначені тільки всередині даної процедури, змінні, використовуючи local.

Для присвоєння результату роботи процедури різних значень і виходу з неї в будь-якому місці тіла процедури використовується команда return(val).

Загальний вигляд процедури:

name:=proc (parameters)

  local val1, ..., valn;

  if bool1 then RETURN (res1) else expr1; expr2;fi;

  res2;

end;

Виклик процедури передає управління і фактичні аргументи (якщо вони є) заданій функції. Виклик процедури здійснюється по імені. При виконанні виклику функції йде присвоєння фактичних аргументів відповідним формальним аргументам. Передача управління передається на перший оператор тіла функції.

Повертається значення за замовчуванням останнього оператора з тіла процедури. Наприклад, процедура з ім'ям f, що обчислює суму змінних x і y:

F:=proc (x, y)

  x+y;

end;

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

Приклад. Функція знаходження суми квадратів координат.