Les intentions

1. L'objectif

2. La réponse

3. L'éditeur syntaxique

4. L'état de la science dans le domaine

5. L'expression de besoin

6. Le choix de la Représentation Interne

7. La réponse au problème

8. La référence

8. La référence

Comment traduire dans le LCL ce nouveau concept ? On a déjà la notion de définition groupée. Par exemple :

def txt
  env: def x
       def y
       def z
  rep: ...

peut être regardé comme une texte txt pour lequel la liste des fonctions applicables est :

def x  def y  def z

Il suffit alors de définir un opérateur du LCL qui permette l'accès à cette liste : c'est l'opérateur ref :

• ref <nom>
  On cherche l'opérateur de nom <nom>, et si on le trouve l'évaluation fournit l'environnement des définitions locales de l'opérateur <nom>.

Dans l'exemple :
use x  ref txt
on utilise l'opérateur x, sachant la référence à l'opérateur txt : on accède donc à la représentation de la définition def x définie localement à l'opérateur txt.

On notera que dans l'exemple on ne fait aucune hypothèse sur le texte txt : le texte en référence de l'utilisation est lui-même nommé et est donc aussi un paramètre de l'utilisation.