1. Exemples d'école
On présente divers exemples d'utilisation du texte c à l'intérieur du texte t.
def t
def c = (use m)
def x
def m = "M"
| (1)
(use c) ≡ (use m)
(2)
(use c
(ref x)) ≡ "M"
|
| (1) | utilisation de c : m est un paramètre. |
| (2) | utilisation de c, "du point de vue de x" : le paramètre m est instancié. |
def t
def m = "X"
def c = (use m)
def x
def m = "M"
| (1)
(use c) ≡ "X"
(2)
(use c
(ref x)) ≡ "M"
|
| (1) | utilisation de c : m est instancié par la définition apparaissant dans t. |
| (2) | cf. premier : la définition de m dans le texte x masque celle qui apparaît dans le texte t. |
def t
def c = (use m)
def x
def m = "M"
def c = "C"
| (1)
(use c) ≡ (use m)
(2)
(use c
(ref x)) ≡ "C"
|
| (1) | cf. premier. |
| (2) | utilisation de c, "du point de vue de x" : la définition de c dans le texte x masque celle qui apparaît dans t. |