仅使用SML / NJ打印打印输出

Question

我正在尝试使用SML / NJ，我使用sml < source.sml来运行代码，但它打印出太多信息。

例如，这是source.sml ：

fun fac 0 = 1
  | fac n = n * fac (n - 1)
val r = fac 10 ;
print(Int.toString(r));

这是输出：

Standard ML of New Jersey v110.77 [built: Tue Mar 10 07:03:24 2015]
- val fac = fn : int -> int
val r = 3628800 : int
[autoloading]
[library $SMLNJ-BASIS/basis.cm is stable]
[autoloading done]
3628800val it = () : unit

来自标准ML中的抑制“val it”输出 ， 如何禁用SMLNJ警告？ ，并且SMLNJ想要从每个print语句执行中删除“val it =（）：unit” ，我得到了一些提示如何抑制它们。

我执行CM_VERBOSE=false sml < $filename并添加了一行Control.Print.out := {say=fn _=>(), flush=fn()=>()}; 在代码中，但我仍然有一些消息：

Standard ML of New Jersey v110.77 [built: Tue Mar 10 07:03:24 2015]
- 3628800

如何只输出输出？

Answer 1

sml命令旨在以交互方式使用。 听起来我觉得你最好从你的程序中构建一个独立的可执行文件。

有几个选择：

1. 如果你是依靠SML / NJ扩展，或者如果你根本无法使用其他ML的实现，你可以按照说明这个帖子构建可以变成使用独立的可执行文件的SML / NJ堆图像heap2exec 。

2. 更好的选择可能是使用ML68编译器，这是标准ML的另一种实现。 它缺少REPL，但与SML / NJ不同，它不需要样板来生成独立的可执行文件。 建筑就像发布一样简单：

    $ mlton your-program.sml $ ./your-program 3628800