Jede Funktion und jeder Funktionsbaustein enthält Variable, die funktionell innerhalb des Bausteins verarbeitet werden. Diese Variablen werden Formalparameter genannt, die in der Variablen-Deklaration des Typen-Bausteins aufgeführt sind. Sie sind "Platzhalter" für Aktualparameter und damit vorläufige Adressen, die zu wirklichen werden, wenn ein Instanzbaustein aktuelle übergibt.