La gestion des noms

La première et principale difficulté qu'on rencontre concerne la gestion des noms de « textes ». Le problème se présente sous deux aspects :

• d'une part il faut trouver des noms sémantiquement significatifs, ce qui peut s'avérer complexe si l'on use pleinement de la technique de découpage d'un source en « textes » ;
• d'autre part le système ne peut guère supporter une utilisation anarchique des symboles : une certaine discipline s'impose.

Le premier point est un problème général, à résoudre au cas par cas selon la "sensibilité" de chacun. Le second est en revanche plus embarrassant, parce que le respect d'une discipline est toujours astreignant et qu'il sous-entend que le programme construit est assez fragile – cette fragilité se révélerait par un non respect de la discipline.

1. Fragilité des programmes

2. Perte de branches de l'« arbre des textes »

3. Paramètres effectifs

4. « effets de bord »

2. Perte de branches de l'« arbre des textes »

Par surcharge d'un nom essentiel – un nom proche de la racine de l'« arbre des textes », on peut obtenir un effondrement de l'architecture logicielle. Par exemple, on écrit un programme :

def PGME
   ...
      ...
         ...
         def A = 0
   = (use B)
def A = ...le schéma de programme...
def B = ... (use A)

On définit un texte PGME, construit sur le schéma B, lui-même construit sur le schéma A ; "profondément" dans PGME on surcharge A. Avec de telles définitions, l'évaluation peut, dans les mauvaises situations, retourner pour la totalité du programme PGME la forme évaluée :

"0"

Le programme a "complètement" disparu.

On peut observer deux choses :

• Le programme n'a pas "complètement" disparu : c'est la forme évaluée qui a disparu, mais le programme saisi par l'utilisateur (la forme non évaluée) existe toujours. Ceci est un trait de l'évaluateur des textes, de toujours travailler par valeur : une évaluation ne modifie donc jamais les données d'entrées.
• Le changement d'apparence du programme est suffisamment important pour qu'il soit immédiatement reconnu par l'utilisateur. Cela ne signifie pas que l'erreur pourra rapidement être corrigée, mais du moins elle aura été détectée.