1
 datatype expr = constant of int 
               |pow of expr * int
               | variable of string
               | product of expr *expr ;
 val x = variable("x");
 fun integ(x,pow(y,a))= if (x=y) then pow(x,a+1) else product(x,pow(y,a));
 integ(x,variable("y"),2);

给我输出产品(变量“x”,pow(变量#,2));我想要 y 而不是 # 那里?

4

1 回答 1

1

这些变量控制 SML/NJ 打印。如果您想看到更多,请将它们设置得更高。

Control.Print.printLength := 1000
Control.Print.printDepth := 1000
Control.Print.stringDepth := 1000
于 2013-10-19T19:21:02.793 回答