From: Sven LUTHER <luther@dpt-info.u-strasbg.fr>
To: Olivier Andrieu <andrieu@ijm.jussieu.fr>
Cc: Henri DF <henri.dubois-ferriere@epfl.ch>, caml-list@inria.fr
Subject: Re: [Caml-list] choosing modules at runtime
Date: Tue, 24 Sep 2002 19:24:31 +0200 [thread overview]
Message-ID: <20020924172431.GA1116@iliana> (raw)
In-Reply-To: <15760.15369.277146.734347@akasha.ijm.jussieu.fr>
On Tue, Sep 24, 2002 at 12:18:49PM +0200, Olivier Andrieu wrote:
> Henri Dubois-Ferriere [Tuesday 24 September 2002] :
> >
> > 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).
> >
> > This means my main code will be littered with things like
> >
> > if (use algorithm 1) then
> > M_1.run_algo()
> > else if (use algorithm 2) then
> > M_2.run_algo() ...
>
> You could use local modules :
>
> if (use algorithm 1) then
> let module M = M_1 in
> M.run_algo() ...
> else if (use algorithm 2) then
> let module M = M_2 in
> M.run_algo() ...
>
> the point is that the blocks under the `let module .. = ' are the
> same, so you can copy/paste them. You could use some preprocessing
> treatment to make it look better.
But some sort of syntactic sugar could be added to ocaml in order to
handle this properly, could it not ?
Friendly,
Sven Luther
-------------------
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
next prev parent reply other threads:[~2002-09-25 8:18 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-09-24 8:48 Henri Dubois-Ferriere
2002-09-24 9:36 ` Andreas Rossberg
2002-09-24 10:37 ` Markus Mottl
2002-09-24 10:08 ` Markus Mottl
2002-09-24 10:18 ` Olivier Andrieu
2002-09-24 17:24 ` Sven LUTHER [this message]
2002-09-24 10:42 ` Yamagata Yoriyuki
2002-09-24 12:43 ` Alessandro Baretta
2002-09-24 12:55 ` Maxence Guesdon
2002-09-24 10:40 Sebastien.deMentendeHorne
2002-09-24 11:00 ` Markus Mottl
2002-09-24 11:09 Sebastien.deMentendeHorne
2002-09-24 11:41 ` Markus Mottl
2002-09-30 7:28 ` John Max Skaller
2002-10-02 13:04 ` Alessandro Baretta
2002-10-02 13:28 ` Dave Mason
2002-10-02 20:57 ` Chris Hecker
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20020924172431.GA1116@iliana \
--to=luther@dpt-info.u-strasbg.fr \
--cc=andrieu@ijm.jussieu.fr \
--cc=caml-list@inria.fr \
--cc=henri.dubois-ferriere@epfl.ch \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).