SML/NJ REPL命令列表

我正在寻找在SML/NJ REPL中工作的完整命令列表，如

Ctrl-Z

。我在这里、谷歌和SML/NJ网站上搜索过，但什么都找不到，甚至连我已经知道的都找不到

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

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

copy con text.txt

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

在使用Ctrl-D的Unix/Linux系统下，基本上存在相同的情况

---

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

Ctrl-Z对您有什么帮助？对我来说，它的行为就像其他控制台程序一样：将其发送到后台。这与SML完全无关，这是一个shell功能。在REPL中，还有其他Ctrl序列可以执行以下操作：Ctrl-h删除左侧的字符…继续。。。Ctrl-i向前跳6个空格Ctrl-m似乎是我记得其他终端程序中的Ctrl-m。我刚刚搜索了这些命令的列表，但只找到了命令行命令，而不是像^M这样的击键。启动此搜索的是在REPL中清除屏幕的功能。有这样的控制台命令吗？即使sml不直接支持，也可以清除屏幕。我记得sml/nj在功能（如历史）方面不是最好的REPL。在任何Unix/Linux系统下，sml都可以在rlwrap中运行。然后提供Ctrl-l作为清除屏幕的快捷方式。它还添加了其他一些不错的特性。