La syntaxe complétée

On présente plusieurs opérateurs qu'on ajoute à la syntaxe concrète : on construit alors la syntaxe complétée, qui à son tour pourra être complétée par de nouvelles définitions :

• l'opérateur fct : il simplifie l'insertion d'une expression Lisp ;
• les opérateurs lst-init, lst, tst, lst-env : ils permettent la manipulation de listes de textes ;
• les opérateurs lst2-init, lst2, tst2, atm1, atm2 : ils permettent le parcours simultané de deux listes de textes ;
• les opérateurs deft, reft, uset : ils servent à typer les textes, à leur définition et à leur emploi.

1. Opérateur de S-expression simple

2. Opérateurs de liste

3. Opérateurs de listes doubles

4. Opérateurs de typage des textes

5. Résumé : la syntaxe complétée

1. Opérateur de S-expression simple

syntaxe

lsp ::= lsp | fct
    fct ::= sex

sémantique

fct simplifie la syntaxe d'emploi d'une S-ex Lisp, quand on souhaite ne faire figurer qu'une seule S-ex.

exemple

(lsp
   (if (= (use x) 0))
       "zero"
       "non nul"))

(fct if (= (use x) 0))
        "zero"
        "non nul")