PythonにはIPythonがあります..OCamlには似たようなものがありますか?
他の機能もいいのですが、コマンド履歴が欲しいです。Emacsで実行することでコマンド履歴を取得できることを読みましたが、Emacsは使用していません。
rlwrapは、readline機能(履歴、編集コマンドなど)を提供します。また、Findlibにはいくつかの機能が追加されています。例については、クイックスタートを参照してください。
ユートップだ!オートコンプリートがあり、emacs と互換性があります。
leditで使用ledit ocaml
します。
オンラインのトップレベルを使用することもできます。