我正在使用其解释器学习标准 ML。有时我会打错字,只想像在 Linux shell 中那样重复前面的命令。但是,向上箭头最终会在屏幕上打印特殊字符。有时我想回到左边更正一些东西,左箭头也会导致打印特殊字符。
有谁知道正确的方法是什么?
我正在使用其解释器学习标准 ML。有时我会打错字,只想像在 Linux shell 中那样重复前面的命令。但是,向上箭头最终会在屏幕上打印特殊字符。有时我想回到左边更正一些东西,左箭头也会导致打印特殊字符。
有谁知道正确的方法是什么?
我使用莫斯科 ML,但我认为答案将适用于您使用的任何版本:
您可以使用rlwrap
.
我在我的 中设置了以下别名.zshrc
,它会自动处理它:
alias mosml="rlwrap mosml"
(替换mosml
为您的 SML 解释器的名称。)
考虑使用程序 ledit。它允许您使用箭头键访问以前的命令。
例子:
ledit mosml
如果您要进行任何严重的 SML 黑客攻击,我强烈建议您使用允许您与 SML 顶级环境交互的开发环境。
我使用 Emacs 和SML 模式。这里的美妙之处在于,您可以在顶部窗口中编写函数并将它们保存到文件中。然后,您可以将它们发送到包含 Inferior-SML 过程的下部窗口进行编译。此外,Inferior-SML 进程默认具有命令历史记录。