启动 SMLNJ REPL

REPL 代表读取评估打印循环。REPL 可以用于一次编写和执行一行代码，并且可以替代将代码写入文件，然后在执行之前编译或解释整个文件。

要从命令提示符启动 SMLNJ REPL：

smluser> sml
Standard ML of New Jersey v110.78 [built: Thu Jul 23 11:21:58 2015]
- 3+4;
val it = 7 : int
- (*a comment: press contrl-d to exit *)
smluser>

在 Bash 和类似的命令 shell 中，可以使用系统命令 rlwrap sml 将 GNU readline 功能添加到 SML REPL。

smluser> rlwrap sml
Standard ML of New Jersey v110.78 [built: Thu Jul 23 11:21:58 2015]
- 3+4;
val it = 7 : int
- (* pressing the up arrow recalls the previous input *)
- 3+4;
val it = 7 : int
-
smluser>