我有一个函数,它创建一个基于旧树的新树,以及旧节点中每个节点的最小/最大值。使用数据类型:
datatype 'a Tree = LEAF of 'a | NODE of ('a Tree) * ('a Tree)
和
datatype 'a myTree = myLEAF of 'a | myNODE of 'a*'a*('a myTree)*('a myTree)
例如,
(NODE(NODE(NODE(LEAF(0),LEAF(9)),LEAF(6)),NODE(LEAF(3),LEAF(10))))
应该产生:
(myNODE(0,10,myNODE(0,9,myNODE(0,9,myLEAF(0),myLEAF(9)),myLEAF(6)),myNODE(3,10,myLEAF(3),myLEAF(10))))
一切似乎都有效。除此之外,叶子和内部节点中的值将替换为'#'。
示例:
minmaxTree t1;
val it =
myNODE (1,2,myNODE (1,2,myNODE #,myLEAF #),myNODE (1,2,myNODE #,myNODE #))
: int myTree
我很困惑为什么sml编译器会替换为'#',其中值明显为int。 非常感谢你!
答案 0 :(得分:0)