6

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

有谁知道正确的方法是什么?

4

3 回答 3

9

我使用莫斯科 ML,但我认为答案将适用于您使用的任何版本:

您可以使用rlwrap.

我在我的 中设置了以下别名.zshrc,它会自动处理它:

alias mosml="rlwrap mosml"

(替换mosml为您的 SML 解释器的名称。)

于 2012-04-07T21:05:59.040 回答
6

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

例子:

ledit mosml
于 2012-05-23T16:55:08.683 回答
0

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

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

于 2012-05-21T18:31:48.247 回答