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

有人能解释一下他们之间的区别吗

此外，在试用时：

口译员给出：

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

为什么会出现#符号

谢谢

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

例如：

datatype intlist = IntNil
                 | IntCons of int * intlist

注意

intlist

是如何在

IntCons

值构造函数的定义中使用的

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));

把#读成…——那里有更多的嵌套表达式，但打印机为了可读性而将其缩写。如果这是SML/NJ，您可以设置例如

Control.Print.printDepth:=10来调整它。
val listInt = MyCons(5, MyCons(6, MyNil));
val listStr = MyCons("abc", MyCons("def", MyNil));
val listChr = MyCons(#"a", MyCons(#"b", MyNil));