Bonjour,

Dans le projet, quand on doit coder le foncteur EnvMake, il faut pouvoir manipuler des environnements (grace à bind_many, merge, merge_disjoint et extend).
Autant bind_many est simple car on connait le format d'entrée (une (variable * 'a) list) autant les autres fonctions paraissent plus dur.
La seule forme de matching qu'on connaisse est le empty qu'on connait car définit dans chaque module de base. Mais on ne connait pas le type de l'environnement à l'avance et donc agir en conséquence.
J'ai beaucoup cherché sur Internet mais je n'ai rien trouvé concernant ce cas précis.

Donc comment matcher l'environnement dont on ne connait pas forme dans les fonctions du foncteur ? (ou s'il y a une autre solution)

Cordialement.
Arnaud Lecointre