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

Question

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

注意如何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));