[Ocaml] types de modules avec contrainte sur les types variables

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:

---

1 2 3 4

module type S = sig type 'a t end

---

et soit le module :

Code:

---

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 ?

Bonjour,

Quelque chose comme ceci peut-être ?

Code:

---

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

---

Cordialement,
Cacophrène

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 :

Citation:

---

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.

Citation:

---

Envoyé par bluestorm

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.