L'évaluation symbolique

 (P1) 

on veut définir des textes « avec trous », c'est-à-dire des textes incomplets dont on remplit les « trous » par d'autres textes.

 (P2) 

on veut pouvoir mettre en commun un texte entre plusieurs « utilisateurs », c'est-à-dire remplir plusieurs « trous » par le même texte.

 (P3) 

on veut pouvoir manipuler un « texte troué » de la même façon qu'un « texte complet ».
Ceci signifie que le lien entre un « trou » et le texte qui le remplit n'est pas un lien statique connu du texte « troué » mais s'apparente davantage à l'instanciation d'un paramètre formel d'un type générique.

 (R1) 

de NOMMER les textes,

 (R2) 

d'EVALUER les textes.

NOMMER un texte signifie qu'on n'établit pas un lien statique entre un « trou » et sa valeur, mais qu'on construit un lien symbolique entre l'utilisation d'un symbole et sa définition.
EVALUER un texte signifie qu'on ne travaille pas sur l'objet qui définit un texte mais sur une valeur qui correspond à la forme évaluée de cet objet.

(a) 

Par la commande ln, on établit un lien statique entre deux fichiers :
ln fic1 fic2
donne au fichier fic1 les propriétés du fichier fic2.

Par exemple, la commande :
cat fic1
est sémantiquement équivalente à :
cat fic2

(b) 

En revanche, si l'on écrit dans le fichier fic1 le shell suivant :
echo fic2
on établit alors un lien symbolique entre fic1 et fic2.

Par exemple, la commande :
cat `fic1
est syntaxiquement équivalente à :
cat fic2