[Caml-list] Module/Functor modelisation

[Caml-list] Module/Functor modelisation

[Johan Baltié]

Hi !

I have a simple functor:

module type Used =
sig 
 type output

 val toto : int -> output -> output
 val tutu : double -> output -> output
end

module type User =
 functor (U : Used) ->
sig

 val toto : int -> U.output -> U.output
 val tutu : double -> U.output -> U.output
end

And User is implemented by two types doing mostly the same things with different
init, and with recursive and/or mutual call in toto an tutu.

I'd like to factorize the shared code, BUT the recursive call prevent me of
doing this. Here an implementation example of the part where the problem lie:

 module User1: User =
   functor (U : Used) ->
 struct
   let toto i output = 

 end

Ciao

Jo
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Module/Functor modelisation

[Johan Baltié]

Sorry for this one, my webmail is sometimes a bit anoying
> Hi !
> 
> I have a simple functor:
> 
> module type Used =
> sig 
>  type output
> 
>  val toto : int -> output -> output
>  val tutu : double -> output -> output
> end
> 
> module type User =
>  functor (U : Used) ->
> sig
> 
>  val toto : int -> U.output -> U.output
>  val tutu : double -> U.output -> U.output
> end
> 
> And User is implemented by two types doing mostly the same things with 
> different init, and with recursive and/or mutual call in toto an tutu.
> 
> I'd like to factorize the shared code, BUT the recursive call prevent 
> me of doing this. Here an implementation example of the part where the 
> problem lie:
> 
>  module User1: User =
>    functor (U : Used) ->
>  struct
>    let toto i output = 
> 
>  end
> 
> Ciao
> 
> Jo
> -------------------
> To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
> Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


Ciao

Jo
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Module/Functor modelisation

[Yann Régis-Gianas]

On Wed, Aug 14, 2002 at 10:32:39AM +0100, Johan Baltié wrote:
> Ce n'est malheureusement pas faisable parce qu'il me faudrait le faire pour
> *tous* les types (à l'exception des types feuilles de mon AST, ce qui m'en fait
> 2 en moins) et comme certains types sont mutuellement recursifs ca coince....

	Alors, je ne vois plus de solution.

> 
> En fait il me manque l'extension de module avec module partiellement defini.

	Tu veux dire des modules avec des valeurs différées ? Ce sont
des modules mixins. Allez hop, regarde ces articles pour te faire une
idée de la chose :

http://pauillac.inria.fr/~xleroy/publi/mixins-cbv-esop2002.pdf
ftp://ftp.disi.unige.it/pub/personÅnconaD/DISI-TR-99-05.ps.gz


> Ou alors il y a un moyen de *simuler* ceci, mais je ne vois pas comment

	Malheuresement non, il n'y a pas moyen car le système de
modules tel qu'il est fait ne supporte que les relations d'importations
qui forment un graphe acyclique. Il va falloir que tu continues avec la
méthode du départ ou bien que tu changes de modélisation.

-- 
Yann Régis-Gianas.
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Module/Functor modelisation

[Yann Régis-Gianas]

On Wed, Aug 14, 2002 at 09:58:06AM +0100, Johan Baltié wrote:
> Mon probleme tient effectivement dans l'utilisation d'un autre functor.
> 
> Appellons le GenericTraverse:
> 
> module GenericTraverse =
>  functor (T : Traverse) -> 
> 		  functor (Av: Visitor) -> 
> struct
>  .....
>   let pattern_action p data =
>   match p with
>    | PatternAction(pat, act) ->
>       T.action act (T.pattern pat data)
>    | PatternActionList(pa1, pa2) ->
>       T.pattern_action pa2 (T.pattern_action pa1 data)
> ....
> end
> 
> 
> Le probleme est maintenant comment l'utiliser ???
> 
> module PostfixTraverse = ????
> struct
> 
>  let pattern_action p data =
>   let output = Av.pattern_action p data
>   in 
>     GenericTraverse.pattern_action p output
> end
> 


	Ce que tu es en train de faire, ca s'appelle des modules
mixins et malheuresement Objective Caml ne le gère pas pour le moment.

	Par contre, est-ce que tu ne voudrais pas faire un truc du style:

	module type TraverseWithoutPatternAction =
	sig
	(* ce qui ne dépend pas de pattern_action *)
	end

	module PostfixTraverse (T : TraverseWithoutPatternAction) (Av: Visitor) =
	struct

	let pattern_action p data =
	(* ... *)

	end

	module type TraverseType =
	sig
	
	val pattern_action : (* .. *)

	end

	module FinalTraverse (T : TraverseType) =
	struct

	(* ce qui dépend de pattern action *)

	end
	

-- 
Yann Régis-Gianas.
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

[Caml-list] Module/Functor modelisation

[Johan Baltié]

Hi !

I have a simple functor:

module type Used =
sig 
 type output

 val toto : int -> output -> output
 val tutu : double -> output -> output
end

module type User =
 functor (U : Used) ->
sig

 val toto : int -> U.output -> U.output
 val tutu : double -> U.output -> U.output
end

And User is implemented by two types doing mostly the same things with different
init, and with recursive and/or mutual call in toto an tutu.

I'd like to factorize the shared code, BUT the recursive call prevent me of
doing this. Here an implementation example of the part where the problem lie:

 module User1: User =
   functor (U : Used) ->
 struct
   let toto i output = 
     let val = U.tutu 12.0 output
     in
      tutu 12.0 val

    let rec tutu d output =
       if (d = 11.0) then
          output
       else
          tutu (d -. 1.0) (U.toto 1 output)
 end



 module User2: User =
   functor (U : Used) ->
 struct
   let toto i output = 
     let val = tutu 12.0 output
     in
      U.tutu 12.0 val

    let rec tutu d output =
       if (d = 11.0) then
          output
       else
          let val = tutu (d -. 1.0) output
           in
               U.toto 1 val
 end


Basicly I once do things in a Prefix way, and once in a postfix way.
I would like to call in User toto and tutu function like:

 let toto i data =
   Used.tutu 12.0 data

  let tutu d output =
     User.tutu (d -. 1.0) output

My problem lays here. I cannot now which User.tutu to call. If I try to make a
functor that do take a User module, there is a recursion problem as this functor
will need a User module and the user module will need this functor to be able to
call the helping functions ! It's gaving me headache....

I know this explanation is not really clear, but I tried to simplify my problem
in order to explain it and I fear people won't see any usefullness in my needs. 

Thanks in advance

Ciao

Jo
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners