有人可以解释它们之间的区别吗?
此外,在尝试时:
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
为什么#符号出现在那里?
谢谢!
有人可以解释它们之间的区别吗?
此外,在尝试时:
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
为什么#符号出现在那里?
谢谢!
递归数据类型是一种数据类型,它在其定义中使用自身。
这方面的一个例子可能是:
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));