Le paramètre effectif apparait dans l'appel d'une fonction, alors que paramètre formel apparait dans la signature de la fonction (en-tête, déclaration de fonction).

Pour une même fonction, il doit y avoir le même nombre de paramètres formels et effectifs, et des vérifications de types sont faites à la compilation.