Introduction

Avec les patrons (template), on va pouvoir ``paramétrer'' des classes et des fonctions par des types. Le concept associé est celui de généricité ; grâce à la généricité, on peut décrire des algorithmes ou des types de données pour des ensembles de types. Le langage Ada utilise fortement ce concept de généricité.

Considérons les exemples suivants :

• type paramétré : on peut définir des listes chaînées pour n'importe quel type : des listes d'entiers, des listes d'objets d'une classe X, des listes de listes d'entiers etc ...Les différentes fonctions des ces listes sont les mêmes, mais agissent sur des types différents. Il paraît raisonnable de définir des listes en général en paramétrant la définition par le type sur lequel s'applique ces listes. A partir de cette définition paramétrée des listes on pourra ``instancier'' cette définition pour un type particulier.
• fonction paramétrée par un type : un algorithme de tri comme le quicksort s'applique à n'importe quel tableau dont les éléments sont d'un type sur lequel existe une relation d'ordre (totale). Il paraît inutile (et dangereux, car générateurs de nouvelles erreurs ...) de réécrire cet algorithme pour chaque type avec une relation d'ordre ; c'est plus efficace et, surtout, plus sûr de pouvoir écrire cet algorithme de façon abstraite (paramétré par un type) et de l'instancier pour un type donné.

• Paramétrer un type :
• Fonction paramétrée par un type :