Utop

Utop — универсальный toplevel (он же REPL) для OCaml. Входит в состав Platform и является стандартом де-факто взамен из-коробочного.

Поддерживает редактирование, историю, автокомплиты, цветовые схемы и т.д..

Использование

Команда	Описание	Пример

`#help`	Выводит список доступных команд	`#help;;`
`#show`	Показ сигнатуры (функции, модуля, типа)	`#show List`, `#show Result.iter`, `#show exn`
`#require`	Подключает библиотеку	`#require "base"`
`#use`	Подгружает файл в окружение	`#use "./some.ml"`

Подробнее в документации.

В Dune-проекте.

$ dune utop

Из коробки она выключена, а чтобы её настроить необходимо заполнить профиль: ~/.utoprc или ~/.config/utoprc.

Готовый пример вы можете найти тут utoprc-dark.

Если вы хотите убрать всё лишнею мишуру:

utop # #utop_prompt_simple;;
utop # UTop.set_show_box false;;