Re: Suggestions pour les modules

From: Christophe Raffalli (Christophe.Raffalli@univ-savoie.fr)
Date: Mon Mar 08 1999 - 10:27:39 MET

Date: Mon, 08 Mar 1999 10:27:39 +0100
From: Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>
To: Pierre Weis <Pierre.Weis@inria.fr>
Subject: Re: Suggestions pour les modules

Voici le message (en francais uniquement) 

--

Voici quelques suggestions qui me paraissent utiles pour
ameliorer la puissance du systeme de modules:

1) Les contraintes devraient pouvoir lier des champs du module dans le
membre droit d'une contrainte.

exemple:
 
module type V = 
  sig
    type t
    type t' 
  end

module type SV = V with type t = t'

module F = functor (M : V with type t = t') -> ....

Le second est simulable en faisant

module type Un_Type = 
  sig
    type t
  end

module F = functor (T : Un_Type) ->
           functor (M : V with type t = T.t and type t' = T.t) ->

Je me dis que cela ne doit donc pas etre tres dur a implementer ?

2) La commande include devrait etre documentee et accepter un "with
constraints" (Deja subgere par d'autres). On aurait ainsi de
l'heritage multiple sur les "modules types"

3) Le include devrait aussi marcher pour les structures afin d'avoir
aussi de l'heritage sur les modules (les contraintes n'ont pas de sens
dans ce cas, il s'agit donc d'un simple sucre syntaxique).

Exemple: il est penible d'ecrire

module T = struct
  let x = ...
  let y = ... 
end

module T' =
  let x = x.T
  let y = y.T
  let z = ...
end 

au lieu de

module T' =
  include T
  let z = ...
end 
 

4) Moins important : on devrait pouvoir passer une valeur ou un type a
un functor sans l'encapsuler a la main dans un module

Ainsi au lieu d'ecrire

module type Un_Int =
  sig
    val n : int
  end

module F = functor (N : Un_Int) -> ....

on pourrait ecrire

module F = functor (n : int) -> ....

Il suffit d'ajouter les sucres syntaxiques suivants:

  functor (type t) ->  :=  functor (T : sig type t end) -> 
    avec t = T.t dans la suite

  functor (v : t) ->   :=  functor (V : sig val v : t end) -> 
    avec v = V.v dans la suite

et les abbreviations similaires pour l'application et les declaration
de types (il me semble que cette syntaxe n'est pas ambigue ?)

5) Encore moins important: Pouvoir utiliser les symboles infix d'un
module en notation infix (C'est la moindre des choses ?)

genre  x Q.R.+ y  ou  x +.Q.R y  pour  Q.R.(+) x y

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:20 MET