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-проекте.

$ dune utop

Свои printers

Для отображения, например, абстрактных значений или любых значений в дружелюбном форме для пользователя (себя), вы можете установить printer'а для указанного типа. Printer — это типичная pp (pretty print) функция, работающая с Format.formatter.

Пример для Bigstringaf

# #require "bigstringaf";;

# Bigstringaf.of_string ~off:0 ~len:11 "hello world";;
- : Bigstringaf.t = <abstr>

# let pp_bigstring fmt bs = 
    Format.pp_print_char fmt '"';
    for i = 0 to pred @@ Bigstringaf.length bs do
        Format.pp_print_char fmt @@ Bigstringaf.get bs i
    done;
    Format.pp_print_char fmt '"';;
val pp_bigstring : Format.formatter -> Bigstringaf.t -> unit = <fun>

# #install_printer pp_bigstring;;

# Bigstringaf.of_string ~off:0 ~len:11 "hello world";;
- : Bigstringaf.t = "hello world"

Настройка

Подсветка синтаксиса

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

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

Минимализм

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

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