Bine ai venit

Limbajul permite şi specificarea explicită a interfeţei între funcţie / procedură şi programul / subprogramul care o apelează.

O listă de identificatori locali ai funcţiei / procedurii specificaţi în antetul
acesteia drept parametri formali este pusă în corespondenţă biunivocă cu o listă
de parametri actuali specificată în apel. Corespondenţa se realizează între
parametrii din aceeaşi poziţie în cele două liste, cei actuali avînd tipuri identice cu
cei formali corespunzători.                                                                                                              .

La execuţia apelului valorile parametrilor actuali sînt substituite parametrilor formali astfel că acţiunile instrucţiunilor funcţiei / procedurii au loc asupra acestor valori, cu efecte la locul de chemare.

Există patru feluri de parametri formali:

-   parametri valoare

-   parametri variabilă

-   parametri funcţie

-   parametri procedură.