3

假设我有一个 Stack 定义的开头，如下所示：

signature STACK = sig
  type 'a stack
end;

structure Stack :> STACK = struct
  type 'a stack = 'a list
end;

显然这不起作用，因为我无法将列表转换为堆栈：

- [5] : int Stack.stack;
stdIn:1.2-1.23 Error: expression doesn't match constraint [tycon mismatch]
  expression: int list
  constraint: int Stack.stack
  in expression:
    5 :: nil: int Stack.stack

这意味着如果我创建了 Stack.push 或 Stack.pop 函数，我无法传入 int 列表，因为它需要一个堆栈。

希望我对标准 ML 有更多了解以提出一个真正的问题，我只知道这不起作用，而且我不确定如何处理签名和结构。

4

2 回答 2

5

当你声明你的结构时，你是在使用不透明的签名匹配( :>) 这样做的。

不透明的签名匹配意味着隐藏在结构内部声明的任何类型背后的底层类型。

如果您不希望出现这种情况，可以使用透明签名匹配( )。:

透明签名匹配示例：

structure Stack : STACK = struct
  type 'a stack = 'a list
end;

在你这样做之前，考虑不这样做的好处：如果你使用不透明的签名匹配，底层的实现是隐藏的。如果您希望更改底层实现（例如，更改为树结构），您可以这样做，因为您知道结构之外的任何东西都不能使用您提供的功能之外的任何其他功能。

您可能希望提供一个toListandfromList函数来执行转换：

(* in the signature *)
val toList : 'a stack -> 'a list
val fromList : 'a list -> 'a stack

(* in your structure *)
fun toList s = s
fun fromList s = s

如果您随后更改底层实现，则只需更改这两个函数，而不必对整个程序进行更改。

于 2013-08-25T13:16:53.560 回答
3

创建函数toList，fromList正如 Sebastian 所建议的那样非常好。或者，您可以创建一个限制性更强的界面，该界面不允许直接导入和导出，而只能通过push、pop和进行创建empty：

signature STACK =
sig
  type 'a stack
  val push : 'a -> 'a stack -> 'a stack
  val pop : 'a stack -> ('a * 'a stack)
  val peek : 'a stack -> 'a
  val empty : 'a stack
end

structure LStack :> STACK =
struct
  type 'a stack = 'a list
  fun push = ...
  fun pop = ...
  fun peek = ...
  val empty = []
end
于 2013-08-29T20:03:10.857 回答