我想用标准 ML 制作函数映射树

Question

我想用标准 ML 制作函数映射树。如果函数 f(x) = x + 1; 然后

maptree(f, NODE(NODE(LEAF 1,LEAF 2),LEAF 3));

应该做出结果

NODE(NODE(LEAF 2,LEAF 3),LEAF 4))

我写的代码如下。

datatype 'a tree = LEAF of 'a | NODE of 'a tree * 'a tree;
fun f(x) = x + 1;
fun maptree(f, NODE(X, Y)) = NODE(maptree(f, X), maptree(f, Y))
| maptree(f, LEAF(X)) = LEAF(f X);

但是当我像这样执行这段代码时

maptree(f, (NODE(NODE(LEAF 1,LEAF 2),LEAF 3)));

结果不是我想要 (NODE(NODE(LEAF 2,LEAF 3),LEAF 4))) 而是 NODE(NODE(LEAF #,LEAF #),LEAF 4))。为什么会发生这种情况（不是数字而是#）？

Answer 1

#当它打印的数据结构比预设值更深时，REPL 会使用它。如果你增加这个值，你会得到你排除的结果。我假设您使用的是 SML/NJ，它调用了该设置print.depth：

sml -Cprint.depth=20
- maptree(f, (NODE(NODE(LEAF 1,LEAF 2),LEAF 3)));
val it = NODE (NODE (LEAF 2,LEAF 3),LEAF 4) : int tree

您可以通过执行找到更多类似的选项sml -H。在“编译器打印设置”部分下查找它们：

compiler print settings:
     print.depth                                          (max print depth)
     print.length                                        (max print length)
     print.string-depth                            (max string print depth)
     print.intinf-depth                        (max IntInf.int print depth)
     print.loop                                                (print loop)
     print.signatures                       (max signature expansion depth)
     print.opens                                             (print `open')
     print.linewidth                   (line-width hint for pretty printer)