如何从标准 ML 中的函子参数重新导出数据类型

Question

在标准 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