Attributs de la syntaxe abstraite

1. Introduction

2. Evaluation des attributs

3. Attributs d'opérateurs

4. Attributs de phylum

5. Syntaxe concrète

6. Attributs d'opérateurs dans l'éditeur ligne

5. Syntaxe concrète

La syntaxe concrète est le point sensible du système, puisque c'est elle qui est visible de l'utilisateur, pour la saisie ou l'affichage. La syntaxe concrète est actuellement très fortement inspirée de la syntaxe Lisp, par l'emploi d'un parenthésage systématique. De ce fait, elle est sans doute d'un abord un peu rugueux.

En général, un opérateur est représenté sous la forme d'une liste préfixée par le nom de l'opérateur. On omet le préfixe à l'affichage, et on dispense d'indiquer le préfixe à la saisie, si l'opérateur est attendu "de manière privilégiée" dans le phylum dans lequel on se situe :

On retrouve ainsi la double écriture des emplois de textes, « quand il n'y a pas d'ambiguïté possible ». On aura en fait d'autres cas d'écriture simplifiée – par exemple si un champ est vide, on ne l'affiche pas. Par exemple :

(def txt
  (env
    (def a
       (env)
       (rep "A"))
    (def b
       (env)
       (rep "B")))
  (rep
    (use a (env)) ":=" (use b (env))))

(def txt
  ((def a()
     ("A"))
   (def b
     ("B")))
  ((a) ":=" (b)))