7

polymlこれは Ubuntu に簡単にインストールできる ML の実装であることがわかりました (リポジトリでは polyml という名前で、 で実行できますpoly)。Andrew Cumming によるA Gentle Introduction to ML をフォローしています。インタプリタで数分間実験した後polyml、readline をサポートしていないことがわかりました(上矢印キーを押すと^[[Aが生成されます)。

これは通訳者にとっては普通のことではないようです。これは、readline がインストールされていない場合にのみ発生するはずですが、私の Python インタープリターはそのように動作しません。

4

3 に答える 3

11

readline サポートをネイティブにサポートしていない端末プログラムに追加する最も簡単な方法は、 を使用してプログラムを呼び出すことrlwrapです。複数のパッケージ マネージャーを使用して、同じ名前のパッケージをインストールできます。↑以下の例を押します。

$ poly
Poly/ML 5.7.1 Release
- ^[[A

次のように実行できます。

$ rlwrap poly
Poly/ML 5.7.1 Release
- stuff I typed from last session;

~/.bashrcまたは、または同様のエイリアスを追加できます。

alias poly='rlwrap poly'
于 2013-08-04T13:49:44.823 に答える