签名中的 SML 多态引用

Question

有没有办法在签名中制作多态引用常量？

这段代码可以编译，但不是我需要的：

signature NAME = sig
    type 'a name
    val empty : 'a name
end

structure Name :> NAME  = struct
    datatype 'a name = Nil | Val of 'a
    val empty = Nil
end

添加所需的引用：

signature NAME = sig
    type 'a name
    val empty : 'a name ref
end

structure Name :> NAME  = struct
    datatype 'a name = Nil | Val of 'a
    val empty = ref Nil
end

产生以下错误：

error: Structure does not match signature.
    Signature: val empty: 'a name ref
    Structure: val empty: 'a name ref
    Reason: Can't match 'a to 'a (Type variable is free in surrounding scope)
Found near struct datatype 'a name = Nil | Val of 'a  val empty = ref Nil end

Answer 1

这实际上与签名无关；如果你写（在顶层），你会遇到同样的问题：

val emptyListRef = ref nil
val emptyIntList = (! emptyListRef) : int list
val emptyStringList = (! emptyListRef) : string list

问题是emptyListRef——或者在你的情况下empty——不能是多态的。 （您的编译器声称empty 具有'a name ref 类型，但它真正 的意思是empty 将具有某种类型的?? name ref，它还没有弄清楚?? 会是什么。）

当您考虑到如果empty 是多态时，此限制是有意义的，那么您将能够编写如下内容：

val () = empty := Val 3
val Val (x : string) = !empty

您将empty 设置为保存int Name，然后像保存string Name 一样读取它。无法说服编译器相信您不会这样做。

一般规则是，只有当右侧采用几种简单形式之一时，值绑定才允许是多态的，例如构造函数（ref! 除外）和常量和 fn-表达式的组合，已知是安全的（因为它们不能启用上述不当行为）。这条规则称为value restriction；您可以谷歌该词以获取更多信息。