条件付きモジュールエイリアシング

Question

クラスプロジェクトでは、同じ抽象データ構造の異なる実装のパフォーマンスを評価するプログラムを作成しています。私はそれぞれをテストするために同じコードを使用しているので、ユーザーの入力に応じてモジュールのエイリアスを設定し、そのモジュールをテストコードで実行することができます。

let module M = 
    if model = "tree" then TreeModel else 
    if model = "hash" then HashModel else 
    ListModel 
in ... 

私は、この作品を作ることができる方法があるか、私はこのすべて間違っについてつもりです：つまり

は、私のような何かをしたいですか？

Answer 1

は、モジュールレベルには何の条件文はありませんが、あなたは、このためにファーストクラスのモジュールを使用することができます少なくともあなたも書くことができ、最近のOCamlのバージョンで@Andreasへのフォローアップとして、

let m = match model with 
    | "tree" -> (module TreeModel : MODEL) 
    | "hash" -> (module HashModel : MODEL) 
    | "list" -> (module ListModel : MODEL) 
in let module M = (val m : MODEL) 
in ... 

Answer 2

：

let (module M : MODEL) = match model with 
    | "tree" -> (module TreeModel : MODEL) 
    | "hash" -> (module HashModel : MODEL) 
    | "list" -> (module ListModel : MODEL) 
in ...