[Caml-list] Contraintes dans la définitionrécursive de classes

[Jean-Louis Giavitto <jean-louis.giavitto@ircam.fr>]

Bonjour.

Je rencontre le problème suivant : une définition récursive de classe 
contraint les types paramètres de la classe, plus que je ne le souhaiterais.

Je ne comprend pas d'où viennent ces contraintes supplémentaires. Voici 
un exemple minimal :

    class virtual ['a, 'b] base =
    object
      method virtual m : 'a -> 'b derive
    end

    and virtual ['a] derive =
    object
      inherit ['a, 'a] base
    end


le typage résultant donne :

   class virtual ['a, -'b] base1 :
   object
      constraint 'b = 'a
      method virtual m : 'a -> 'a derive1
   end
   and virtual ['a] derive1 :
   object
      method virtual m : 'a -> 'a derive1
   end


ce qui ne me permet pas d'avoir un 'b arbitraire.
Je peux plus ou moins contourner ce problème de la manière suivante :

    class virtual ['a, 'b, 'c] pre_base =
    object
      method virtual m : 'a -> 'c
    end

    class virtual ['a] derive =
    object
      inherit ['a, 'a, 'a derive] pre_base
    end

    class virtual ['a, 'b] base =
    object
      inherit ['a, 'b, 'b derive] pre_base
    end



dont le type est :

   class virtual ['a, 'b, 'c] pre_base :
   object
      method virtual m : 'a -> 'c
   end

   class virtual ['a] derive :
   object
      method virtual m : 'a -> 'a derive
   end

   class virtual ['a, 'b] base :
   object
      method virtual m : 'a -> 'b pre_derive
   end



J'imagine bien qu'il y a une histoire de généralisation de variable mais 
je ne comprend pas ce qui change fondamentalement quand on définit dans 
le même class ... and ... end


Merci de vos éclaircissements.
Jean-Louis Giavitto.