如何在ML编程语言中定义多个类型的树
好吧，我被要求做下一件事：
要定义一个二进制树，它可以包含两种不同的类型：（'a，'b）abtree，这些是要求：
任何内部顶点（不是叶子）必须是“a”或“b”类型，并且叶子没有值。
对于树中的每个路径，所有'值必须出现在'b值之前：路径示例：
'a->'a->''b (legal)
'a->'b->'b (legal)
'a->'a->'a (legal)
'b->'b->'b (legal)
'a->'b->'a (ILLEGAL)
datatype 'a tree =
leaf
| br of 'a * 'a tree * 'a tree;
datatype 'b bTree =
leaf
| bBranch of 'b * 'b bTree * 'b bTree
;
datatype ('a,'b) abTree =
leaf
| aBranch of 'a * ('a, 'b) abTree * ('a,'b) abTree
| bBranch of 'b * 'b bTree * 'b bTree
;
datatype 'c cTree =
leaf
| cBranch of 'c * 'c cTree * 'c cTree
;
datatype ('b, 'c) bcTree =
leaf
| bBranch of 'b * ('b, 'c) bcTree * ('b,'c) bcTree
| cBranch of 'c * 'c cTree * 'c cTree
;
datatype ('a, 'b, 'c) abcTree =
leaf
| aBranch of 'a * ('a, 'b, 'c) abcTree * ('a, 'b, 'c) abcTree
| bBranch of 'b * ('b, 'c) bcTree * ('b, 'c) bcTree
| cBranch of 'c * 'c cTree * 'c cTree
;
没有找到相关结果
已邀请:
1 个回复
桑娠贯涤
datatype ('a, 'b) twotypetree = ...定义为包含值的和两个('a, 'b) twotypetree的bbranch。 由于不能包含任何s，因此不能包含任何包含s的子节点，因此满足要求。