抑制标准ML中的“val it”输出

Compiler.Control.Print.out := {say=fn _=>(), flush=fn()=>()};
print "I don't show my type";

I don't show my type

虽然我不明白为什么打印函数返回的类型是坏的。

say函数控制打印出的内容。

以下SML/NJ注释中有一个较大的示例 http://www.cs.cornell.edu/riccardo/prog-smlnj/notes-011001.pdf

UseSuillet函数可用于加载文件,但不显示任何输出 与装载相关

fun useSilently (s) = let
val saved = !Compiler.Control.Print.out
fun done () = Compiler.Control.Print.out := saved
in
Compiler.Control.Print.out := {say = fn _ => (), flush = fn () => ()}
(use (s); done ()) handle _ => done ()
end

这实质上是将say函数更改为不做任何事情,然后在最后将其设置回原处。

使用以下命令:

val _ = print "I don't show my type";

在Moscow ML中,您可以使用

mosml -quietdec file.sml