Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] choosing modules at runtime
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-09-24 (10:37)
From: Yamagata Yoriyuki <yoriyuki@m...>
Subject: Re: [Caml-list] choosing modules at runtime
From: Henri Dubois-Ferriere <>
Subject: [Caml-list] choosing modules at runtime
Date: Tue, 24 Sep 2002 10:48:55 +0200 (CEST)

> Say I have a module signature M which is implemented by module structs 
> M_1, M_2, M_3, .. M_N.
> At runtime , depending on some command-line parameters, I will choose one 
> of the module implementations (they use different algorithms internally). 

How about making the whole program into the functor, say, Prog.  Then,
the branch appears only once for the "main".

if (use algorithm 1) then
Prog (M_1).main ()
else if (use algorithm 2) then
Prog (M_2).main () ...

Numerix uses this trick for choosing implementation of big integers

> but that probably belies that I am still thinking in an OO
> manner....

Yes :-)
Yamagata Yoriyuki
PGP fingerprint = 0374 5290 7445 4C06 D79E AA86 1A91 48CB 2B4E 34CF

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: