Discussion :

[Blustuff]

Bonjour,

Si on dispose d'une signature d'un module décrivant un type polymorphe et que l'on souhaite utiliser cette signature pour décrire un module dans lequel le polymorphisme est contraint, est-ce possible ?

Concrètement, soit la signature :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
module type S =
sig
  type 'a t
end

et soit le module :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
module M=
sig
  type 'a t = 'a list constraint 'a = 'b array
end

est-il possible de dire de manière synthétique que M a la signature de S à ceci près que la variable 'a du type 'a t est contrainte à être du type 'b array ?

[Cacophrene]

Bonjour,

Quelque chose comme ceci peut-être ?

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

module type M = S with type 'a t = 'a array list

Cordialement,
Cacophrène

[gasche]

Il me semble que la raison pour laquelle ce n'est pas possible est que les contraintes de type "with ..." doivent être utilisées pour construire une sous-signature de ton module.

Dans le manuel :

After each constraint has been applied, the resulting signature must be a subtype of the signature before the constraint was applied. Thus, the with operator can only add information on the type components of a signature, but never remove information.

Autrement dit, pour pouvoir définir M comme (S with ...), il faut que tout module vérifiant la signature S vérifie aussi la signature M. Ce n'est pas le cas dans ton exemple : tu essaies d'ajouter une contrainte qui n'était pas présente dans S, donc il y aurait des modules vérifiant S qui ne seraient plus valides dans M.

Si tu veux utiliser la forme "constraint ..", il faut qu'elle soit présente dès le départ dans S.

[Blustuff]

Il me semble que la raison pour laquelle ce n'est pas possible est que les contraintes de type "with ..." doivent être utilisées pour construire une sous-signature de ton module.

Ok, merci.