Discussion :

[_Von_]

Bonjour,

J'ai quelques problemes avec les modules. je cherche dans un premier temps a inclure dans un module t , d'autres modules definis ailleurs que dans le module t.
De la meme maniere peut on creer un tableau de module ?

J'ai cherche sur internet et je n'ai rien trouve qui pourrait eclairer ma lanterne.
J'ai peur aussi que mes habitudes prises avec le c soient incompatibles avec OCaml.

Merci par avance pour vos reponses.

[Cacophrene]

Bonsoir,

je cherche dans un premier temps a inclure dans un module t , d'autres modules definis ailleurs que dans le module t.

Qu'est-ce que tu appelles un module ? S'agit-il d'un module au sens d'OCaml ? Si c'est le cas, et c'est ce que je suppose dans mon message, alors tu peux écrire :

Code :

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

1
2
3
module Foo = struct (* à remplir *) end
module Bar = struct include Foo end

Regarde dans la documentation la différence entre include et open.

De la meme maniere peut on creer un tableau de module ?

Ce n'est plus la même chose. Pour pouvoir définir un tableau de modules, il faut disposer de modules de première classe, manipulables comme n'importe quelle valeur. Ce n'est possible qu'à partir d'OCaml 3.12. Mais attention, il faut respecter les contraintes habituelles des tableaux d'OCaml, qui sont homogènes. En clair, tu pourras construire un tableau de modules si et seulement si ceux-ci ont la même signature. Un exemple :

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
16
17
18
19
20
21
22
23
module type FOO = 
  sig 
    val foo : unit -> unit 
  end

module Foo =
  struct
    let foo () = ()
  end

module Bar =
  struct
    let bar () = ()
  end

module Foobar =
  struct
    include Foo
    let bar () = ()
  end

let tableau = [|(module Foo : FOO); (module Foobar : FOO)|]

Dans mon exemple, le module Bar ne peut pas faire partie du tableau compte tenu de sa signature qui ne correspond pas à FOO (mais on peut créer un type somme pour accepter les deux formes si c'est nécessaire).

J'ai peur aussi que mes habitudes prises avec le c soient incompatibles avec OCaml.

Effectivement, il y a peut-être d'autres manières de procéder avec OCaml, sans utiliser cette fonctionnalité nouvelle qui manque encore de maturité. Si tu exposes ton problème de façon plus détaillée, il nous sera plus facile de t'aider.

Cordialement,
Cacophrène

[prgasp77]

Merci, tu m'apprends quelque chose d'intéressant ... à savoir si ça me sera utile un jour.