Méta-circularité de l'évaluateur

Il ne s'agit pas ici d'écrire la totalité de l'évaluateur en ses propres termes. Ceci pour au moins trois raisons :

• les formes évaluées des textes ne représentent qu'un partie stricte des formes non évaluées admissibles : on ne peut donc pas reconstruire tous les termes de la syntaxe par des formes évaluées ;
• on n'a pas défini de fonctions usuelles de « bas niveau » comme if, or, let, ..., ce qui rend plus fastidieuse l'écriture de l'évaluateur (il faut souvent passer par du code Lisp, même pour des notions élémentaires comme le test) ;
• plus fondamentalement il est difficile de représenter le passage de paramètres à l'appel d'une fonction à la manière de Lisp : l'argument n'étant en principe pas évalué à l'appel, il faut forcer cette évaluation.

On ne donne donc dans ce qui suit que l'attribut qui s'adapte bien à la situation : c'est l'attribut d'impression, qui affiche normalement une suite de caractères, et qui retourne dans le cas présent une suite de chaînes de caractères.

La totalité de la syntaxe se trouve en annexe ; on ne donne ici qu'une sélection choisie.

Le langage

Les opérateurs sont définis dans des « modules » isolés, pour être éventuellement partagés entre plusieurs phyla – la situation ne se présentera pas ici. Ils sont formellement paramétrés par les noms des champs qu'ils définissent.

Un phylum est défini par des références à des déclarations d'opérateurs ou de phyla. Il définit de plus le traitement d'erreur, qui est pris « par défaut » pour un opérateur dont le phylum n'aurait pas la visibilité.