没有polyEqual的SML自定义数据类型相等

Question

我正在尝试编写一个函数来检查类型相等性，而忽略实例变量（不确定这是否是SML的正确术语）。 优选地，该功能可以对多种数据类型进行操作。

所以，如果我有：

数据类型D = A | B int;

myEqual AA ， myEqual (B 1) (B 1)和myEqual (B 1) (B 2)都将返回true，而myEqual A (B 1)将返回false。

我的第一个想法是将其实现为诸如fun myEqual ab = a = b;类的东西fun myEqual ab = a = b; 。 但是，这将比较两个变量的实例变量，这不是我想要的，因此myEqual (B 1) (B 2)将返回false。

我知道可以在这种情况下通过使用模式匹配来实现

fun myEqual (B _) (B _) = true
  | myEqual A A = true
  | myEqual _ _ = false;

但这仅适用于此特定数据类型。

SML中是否有任何操作只能检查类型相等性，而不能检查实例变量？

Answer 1

首先， datatype D = A | B of int; datatype D = A | B of int; 只是具有两个分支的一种类型。 因此，您所比较的是不同分支中不同形式的比较。 我认为您必须分解数据类型才能编写这样的比较函数。 因此，为每个数据类型编写一个myEqual函数是很自然的。

其次，如果您想讨论两种独立的数据类型，则进行这种比较是没有意义的。 由于SML是静态且强类型的，因此您在编译时就知道每个变量的特定类型。