使用REPL中的＃-signs截断输出
我编写了一个按预期工作的函数，但我不明白为什么输出就是这样。
功能：
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
没有找到相关结果
已邀请:
1 个回复
棠媳鳖
附：顺便说一下，你不需要单独的do_xor和local函数 - 只是会做。