SML - 递归数据类型与多态数据类型

Question

1. 有人可以解释它们之间的区别吗？

2. 另外，在尝试时：

datatype exp = Const of real | Pair of exp * exp;
val my_exp_2 = Pair(Const(1.2),Pair(Const(9.0),Const(2.0)));

口译员提供：

val my_exp_2 = Pair (Const 1.2,Pair (Const #,Const #)) : exp

为什么 # 符号会出现在那里？

谢谢！

Answer 1

递

归数据类型是一种数据类型，它在其定义中使用自身。

这方面的一个例子可能是：

datatype intlist = IntNil
                 | IntCons of int * intlist

请注意如何在 IntCons 值构造函数的定义中使用intlist。

val ls = IntCons(5, IntCons(6, IntNil));

请注意 IncCons 在此示例中如何包含另一个列表值。

多态数据类型是一种数据类型，其中一个或多个值构造函数可以包含多态值。

例如，您可以查看：

datatype 'a pair = Pair of 'a * 'a

在这里，'a是一个类型变量，因此构造函数可用于任何类型的值。例：

val pairInt = Pair(1, 5);
val pairStr = Pair("Hello", "Goodbye");
val pairChr = Pair(#"x", #"y");

这两件事通常组合成多态递归数据类型，就像普通列表所做的那样：

datatype 'a mylist = MyNil
                   | MyCons of 'a * 'a mylist;

这既是多态的，也是递归的，如以下示例所示：

val listInt = MyCons(5, MyCons(6, MyNil));
val listStr = MyCons("abc", MyCons("def", MyNil));
val listChr = MyCons(#"a", MyCons(#"b", MyNil));