L'élision

La forme structurée de l'information autorise deux choses :

• manipuler des entités structurellement cohérentes, en s'intéressant non pas à une suite de caractères mais à un nœud de l'arbre des textes, nœud qui est visuellement représenté par une suite de caractères ;
  
  
• avoir une vue structurée du texte construit : soit l'affichage dispensé permet de reconnaître un nœud (généralement on utilise un affichage en inverse vidéo de la suite de caractères qui dépendent directement du nœud) ; soit la forme visuelle du texte est rendue plus concise, par le remplacement des caractères attachés au nœud par une dénomination symbolique.

Dans le présent paragraphe, on s'intéresse à ce dernier point.

1. Présentation

2. L'élision dans la syntaxe initiale

3. L'opérateur d'élision

2. L'élision dans la syntaxe initiale

Dans les « textes », on retrouve la notion d'holophraste :

• Sur les formes non évaluées, il autorise une vue concise des « arbres de textes » manipulés. Par exemple :

  (def txt)                 ; holophraste = 0
  
  (def txt                  ; holophraste = 1
     ((def a)
      (def b)))
  
  (def txt                  ; holophraste = 2
     ((def a ())
      (def b ()))
     ("x:=" (a) ";"))
  

• Sur les formes évaluées :
  - les environnements étant évalués sur des opérateurs d'environnement, on est replacé dans le cas précédent ;
  - les représentations étant évaluées en des chaînes de caractères, la notion disparaît.

  Cette dernière propriété est peut-être un peu limitative. Introduire une élision dans l'évaluation de texte demanderait d'interrompre l'évaluation d'une utilisation de texte quand l'holophraste atteindrait une certaine valeur ; on retournerait alors une forme conventionnelle de l'utilisation élidée.

  Par exemple :	(use txt)	donne "x:=" (use a) ";"
  	(use a)	donne conventionnellement "...a..."

  On obtient alors :
  "x:=" "...a..."
  ou encore :
  "x:=...a..."
  

  Une autre solution serait de retenir, sur la forme évaluée d'une utilisation, le symbole d'utilisation (dans le choix retenu une utilisation retourne une représentation "anonyme"). On pourrait alors décider, selon la valeur de l'holophraste, d'afficher la représentation associée à l'utilisation ou une forme conventionnelle construite à partir du symbole.