通过将内置列表类型转换为自定义堆栈类型来理解信号和结构

Question

假设我有一个 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 列表，因为它需要一个堆栈。

希望我更多地了解标准机器学习来制定一个真正的问题，我只知道这行不通，我不确定如何处理签名和结构。

Answer 1

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

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

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

具有透明签名匹配的示例：

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

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