L'exemple précédent laisse déjà entendre que les concepts présentés s'apparentent assez bien à la notion d'héritage des Langages Orientés Objet. On peut, du fait que la notion n'est pas explicite mais plutôt induite, tirer parti de la situation pour réaliser diverses sortes d'héritages.
Par exemple :
def com
def a = "A[" (index) "]"
def b = "B[" (index) "]"
def util
def util1
def index = "I"
= (a(com)) ":=" (b(com)) ";" "^M"
def util2
def index = "I+1"
= (a(com)) ":=" (b(com)) ";" "^M"
= (util1)
"TRAIT;" "^M"
(util2)
donne :
A[I]:=B[I];
TRAIT;
A[I+1]:=B[I+1];La définition du paramètre effectif index est mise en commun entre les textes a et b : à une seule définition du paramètre correspond deux instanciations.
On peut noter que l'exemple profite directement du fait que les textes a et b sont paramétrés par un texte de même nom index. Cependant les paramètres traduisant dans les deux cas la même notion, on peut juger raisonnable de leur donner le même nom.