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

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

[Jean-Louis Giavitto]

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.

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

[Guillaume Yziquel]

Le Friday 18 Feb 2011 à 20:50:33 (+0100), Jean-Louis Giavitto a écrit :
> 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

A solution might be to break the recursive definition and the class and
push it to a module level. You should probably be able to use recursive
modules to make "forward declarations".

yziquel@seldon:~$ ocaml
        Objective Caml version 3.12.0

# module rec M : sig
         
    class virtual ['a, 'b] base : object
      method virtual m : 'a -> 'b M.derive
    end
  
    class virtual ['a] derive : object
      inherit ['a, 'a] base
    end
  
  end = M;;
module rec M :
  sig
    class virtual ['a, 'b] base :
      object method virtual m : 'a -> 'b M.derive end
    class virtual ['a] derive :
      object method virtual m : 'a -> 'a M.derive end
  end
# 

-- 
     Guillaume Yziquel