functional-programming - 標準 ML 最後のコマンドを繰り返す、左矢印?

Question

インタープリターを使用して標準 ML を学習しています。Linuxシェルのように、タイプミスをして前のコマンドを繰り返したい場合があります。ただし、上矢印は画面に特殊文字を出力することになります。何かを修正するために左に戻りたい場合があります。左矢印でも特殊文字が出力されます。

それらを行う正しい方法を知っている人はいますか？

Answer 1

私はMoscow MLを使用していますが、どのバージョンを使用しても答えが当てはまると思います：

を使用することで、目的を達成できますrlwrap。

my に次のエイリアスが設定されており、.zshrc自動的に処理されます。

alias mosml="rlwrap mosml"

( mosmlSML インタープリターの名前に置き換えます。)

Answer 2

プログラム ledit の使用を検討してください。矢印キーを使用して前のコマンドにアクセスできます。

例：

ledit mosml

Answer 3

深刻なSMLハッキングを行う場合は、SMLトップレベル環境と対話できる開発環境を使用することを強くお勧めします。

私はSMLモードでEmacsを使用しています。ここでの利点は、上部のウィンドウで関数をコーディングしてファイルに保存できることです。次に、コンパイルのためにInferior-SMLプロセスを保持する下部ウィンドウにそれらを送信できます。また、Inferior-SMLプロセスには、デフォルトでコマンド履歴があります。