标准 ML 重复上一个命令，向左箭头？答案

【问题标题】：Standard ML repeat last command, left arrow?标准 ML 重复上一个命令，向左箭头？
【发布时间】：2012-04-07 18:49:20
【问题描述】：

我正在使用其解释器学习标准 ML。有时我会打错字，只想像在 Linux shell 中那样重复前面的命令。但是，向上箭头最终会在屏幕上打印特殊字符。有时我想往左更正一些东西，左箭头也会导致打印特殊字符。

有谁知道正确的做法是什么？

【问题讨论】：

【解决方案1】：

我使用 Moscow ML，但我认为答案将适用于您使用的任何版本：

您可以使用rlwrap 实现您想要的。

我在.zshrc 中设置了以下别名，它会自动处理它：

alias mosml="rlwrap mosml"

（将 mosml 替换为您的 SML 解释器的名称。）

【讨论】：

【解决方案2】：

考虑使用程序 ledit。它允许您使用箭头键访问以前的命令。

例子：

ledit mosml

【讨论】：

【解决方案3】：

如果您要进行任何严重的 SML 黑客攻击，我强烈建议您使用允许您与 SML 顶级环境交互的开发环境。

我使用 Emacs 和 SML mode。这里的美妙之处在于，您可以在顶部窗口中编写函数并将它们保存到文件中。然后，您可以将它们发送到包含 Inferior-SML 过程的下部窗口进行编译。此外，Inferior-SML 进程默认具有命令历史记录。

【讨论】：