Standard MLのfunctor引数からデータ型を再エクスポートする方法

Question

Functor引数として受け取った構造体の一部であるデータ型のコンストラクタをStandard MLで再エクスポートすることは可能ですか？

signature FLAG = 
    sig 
    type t 
    end 

signature MEMBER = 
    sig 
    structure Flag : FLAG 
    end 

functor Member(F : FLAG) : MEMBER = 
    struct 
    structure Flag = F 
    end 

structure M = 
    Member(struct 
    datatype t = 
     FLAG_1 
    | FLAG_2 
    end) 

val flag1 = M.Flag.FLAG_1; 
(* Error: unbound variable or constructor: FLAG_1 in path M.Flag.FLAG_1 *) 

上記の例では、実用的な意味の任意の並べ替えをしないかもしれないが、それは私が私のプロジェクトの一つに遭遇した問題のほんの骨抜きバージョンです：いくつかのコードは、おそらく簡単にこれを理解するために行います。

Answer 1

FLAG署名の未定義型指定は、tが不透明のままであるため、FLAGを実装する構造体の外部のものにはアクセスできません。

一般にSMLでは、シグネチャがモジュールのインターフェイスを指定する場合、そのモジュールのうち、署名なしでアクセスできる部分はシグネチャに明示的に記述されている部分のみです。ご存じのように、モジュールのインターフェースを指定すると、署名で明示的に宣言した関数と値だけが使用できるようになります。省略されたものはすべてモジュール内部で密封されます。同じ原則は、ここでは説明できない仕様のtype tで動作しています。シグネチャはこのタイプがどのように構成されているかを考慮していないため、その情報は利用できません。

は、値のコンストラクタをパラメータとして与えられたモジュールからファンクタに簡単に再エクスポートできます。ただし、そのコンストラクタをそのモジュールのインターフェイスの仕様に含める必要があります。例えば、

signature FLAG = 
sig 
    datatype t = FLAG_1 | FLAG_2 
end 

signature MEMBER = 
sig 
    structure Flag : FLAG 
end 

functor Member(F : FLAG) : MEMBER = 
struct 
    structure Flag = F 
end 

structure M = 
Member(struct 
     datatype t = 
       FLAG_1 
       | FLAG_2 
     end) 

そして

- val a = M.Flag.FLAG_1; 
val a = FLAG_1 : ?.t 

ここで注意すべき最も重要な点は、これはおそらくです：FLAGを実装するモジュール内の値コンストラクタの到達不能は、道に関係するすべてのものを持っていますインターフェイスが指定されていて、ここではfunctor Memberのパラメータとして表示されるという事実とは関係ありません。

signature FLAG = 
sig 
    type t 
end 

structure F : FLAG = 
struct 
    datatype t = 
      FLAG_1 
      | FLAG_2 
end 

そして

[opening ~/Programming/sml/scratch/scratch.sml] 
signature FLAG = sig type t end 
structure F : FLAG 
val it =() : unit 
- F.FLAG_1; 
stdIn:63.1-63.9 Error: unbound variable or constructor: FLAG_1 in path F.FLAG_1