Discussion :

[Blustuff]

Bonjour,

Est-il possible de définir un foncteur comme "extension" d'un autre foncteur, par inclusion du second dans le premier ? Comment faut-il procéder ?


Blustuff.

Edit : En voici une tentative qui provoque une erreur syntaxique.

Code :

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

1
2
3
4
5
6
7
8
9
10
  module type S = sig end
  
  module type A = functor (P : S) -> sig
  end
  
  module type B = functor (P : S) -> sig
    include A (P)
  end

Syntax error: 'end' expected, the highlighted 'sig' might be unmatched

[SpiceGuid]

Je ne suis pas familier des 'foncteurs', mais je me lance quand même parce qu'on apprend toujours quelque chose même en disant une bêtise.

Est-ce que ceci pourrait faire l'affaire:

Code :

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

1
2
3
4
5
6
  module type S = sig end  
 
  module type B = functor (P : S) -> sig
    module type A = sig
    end
  end

[Blustuff]

Non, il me faut absolument conserver un module type B qui possède toutes les définitions au même niveau.

[gorgonite]

pour un module simple, je fais comme cela... mais ça ne va pas forcemment aider

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
module Environment : (
	sig
		val assign : environment -> string -> valeur -> unit
		val find : environment -> string -> valeur
		val create : int -> environment
		val iter : (string -> valeur -> unit) -> environment -> unit
	end
) = struct
	include Hashtbl
	let assign env v val_expr =
		try 
			Hashtbl.find env v ;
			Hashtbl.replace env v val_expr 
		with Not_found -> Hashtbl.add env v val_expr 
end

mais je ne crois pas qu'il soit autorisé de faire de include dans sig
http://caml.inria.fr/pub/docs/manual...manual019.html

[Blustuff]

Dans la même référence, section d'avant, c'est bien écrit qu'on peut utiliser include dans des signatures.

http://caml.inria.fr/pub/docs/manual...manual018.html

Ce qu'on ne peut pas c'est faire une application à un foncteur définissant une signature. Pas plus qu'include un foncteur directement.

Je cherche comment faire. Jusque là j'ai trouvé que deux solutions viables, mais peu satisfaisante.

1. Dupliquer le code de la signature
2. Définir un type dans un module type qui ne sera pas un foncteur et "instancier" le type avec des implémentations qui sont des foncteurs