SML/NJ 运行 外部 commands/scripts

SML/NJ run external commands/scripts

是否可以通过 SML/NJ 运行 bash shell 命令?

在 Python 中,它将使用像 subprocess

这样的模块

我希望在 sml 脚本中使用 diff fileA fileB

可以在 OS.Process 结构中使用 system 函数。

OS.Process.system "diff fileA fileB";