Je suis a la recherche d'une bibliotheque (d'un langage OO) qui utilise
une hierarchie de classes comme des predicats (types) pour la selection
des methodes. D'un point de vue technique, ce langage supporte la
notion d'heritage et de multi-methode ou de predicate dispatch
(generalisation des multi-methodes), ce qui n'est pas si courant en
pratique. Pourtant le concept est deja bien etudie et pas mal de
papiers existes sur le sujet (e.g. travaux de Kaneiwa, Millstein ou
Chambers). Mais je n'ai trouve aucune implementation concrete d'une
telle hierarchie 'generique'. Les papiers utilisent souvent des
hierarchies peu representatives inspirees d'une taxonomie specifique
(e.g. animal).

Dans ma bib, pour l'instant j'ai (<- signifie "herite de"):

Predicate (classe racine)
  <- Nil
  <- TrueFalse
     <- True
     <- False
  <- Ordered
     <- Lesser
     <- Equal
     <- Greater

Mais il y a beaucoup d'autres predicats possibles:

Next, Previous
Forward, Backward
Open, Close
Front, Rear
Bottom, Top
Before, After
Up, Down
Even, Odd
Left, Right
North, South, Est, West

etc...

et comme la heriarchie stigmatise les combinaisons logiques possibles
entre les predicats (not, and, or), le design d'une telle hierarchie
demande soit une experience pratique du sujet (que je n'ai pas) soit
une bonne dose de reflexion (un peu comme le design d'une bib
standard). Le but etant de ne conserver que les predicats utiles et
suffisament generiques dans la bib de base, l'utilisateur pouvant
ajouter plus tard ses predicats metier.

Est-ce que qqun a deja vu une telle hierarchie? Liens ou references
appreciees.

Merci.

a+, ld.