SML/NJ REPL 命令列表答案

【问题标题】：list of SML/NJ REPL commandsSML/NJ REPL 命令列表
【发布时间】：2013-10-06 23:13:43
【问题描述】：

我正在寻找在 SML/NJ REPL 中工作的命令的完整列表，例如 Ctrl-Z。我搜索过这里、Google 和 SML/NJ 网站，但找不到任何东西，甚至我已经知道的也没有。

明确地说，我不是在寻找 SML 语言参考，只是寻找 REPL 接口命令。

【问题讨论】：

【解决方案1】：

Ctrl-Z（我假设在 Windows 下）不一定是 SML 命令。它宁可关闭控制台实例。这意味着文件结束。在 Win 下，您可以使用以下命令查看此行为的简单应用：

copy con text.txt

这会将字符从键盘 (con) 复制到文本文件。许多 REPL 只是使用相同的机制/理解。

在 Unix/Linux 系统下大体相同，使用 Ctrl-D。

从这里开始，SML/NJ 可能不再有 REPL 命令了。

【讨论】：

在 REPL 中还有其他 Ctrl-sequences 可以做事：Ctrl-h 删除左边的字符
...继续... Ctrl-i 向前跳 6 个空格 Ctrl-m 似乎是我记得 Ctrl-m 来自其他终端程序。我刚刚搜索了这些命令的列表，但出现的只是命令行命令，而不是像 ^M 这样的击键。开始此搜索的是清除 REPL 中的屏幕的能力。有这样的控制台命令吗？
即使没有 sml 直接支持也有可能清屏。我记得 sml/nj 在功能（例如历史）方面并不是最好的 REPL。在任何 Unix/Linux 系统下，sml 都可以在 rlwrap 中运行。然后提供 Ctrl-l 作为清除屏幕的快捷方式。它还添加了一些其他不错的功能。