输出在 REPL 中被 # 符号截断

Question

我编写了一个按预期工作的函数，但我不明白为什么输出是这样的。

功能：

datatype prop = Atom of string | Not of prop | And of prop*prop | Or of prop*prop;


(* XOR = (A And Not B) OR (Not A Or B) *)

local

fun do_xor (alpha,beta) = Or( And( alpha, Not(beta) ), Or(Not(alpha), beta))

in
fun xor (alpha,beta) = do_xor(alpha,beta);
end;

测试：

val result = xor(Atom "a",Atom "b");

输出：

val result = Or (And (Atom #,Not #),Or (Not #,Atom #)) : prop

Answer 1

这只是一个输出限制（是的，这很令人困惑） - 默认情况下，顶层（交互式 shell）中值打印输出的深度被限制为相当小的数字（即 5）。跳过的部分打印有#。

您可以使用 printDepth 变量覆盖此深度 - 至少在 SML-NJ 中：

Control.Print.printDepth := 1024;

PS 顺便说一句，您不需要单独的 do_xor 和本地函数 - 只

fun xor(alpha, beta) = Or(...);

需要即可。