NoneUtop (универсальный верхний уровень) - это улучшенный верхний уровень (REPL) для OCaml. Не путать с [tag:ocaml-toplevel], который поставляется с компилятором OCaml.
1 ответ

Дюна утоп какой-то исполняемый файл

Для одного исполняемого файла, как я могу загрузить его в dune utop? Именно на проекте с библиотекой в ​​каталоге lib и соответствующий dune файл, я могу запустить dune utop lib затем open Lib.MyModule и это загрузит файл MyModule.ml, Что будет экви…
04 ноя '18 в 11:51
2 ответа

Вставить директиву верхнего уровня в мл файлов

Я мог бы думать о верхнем уровне неправильно. Каков предпочтительный способ поддерживать коллекцию директив верхнего уровня как часть проекта? Есть ли способ включить директивы верхнего уровня, такие как #install_printer в исходном файле OCaml, чтоб…
28 дек '15 в 17:37
1 ответ

Я не могу получить доступ к библиотеке OCaml [open Core.std], несмотря на загрузку ее с Github

Я изучаю OCaml с помощью учебника "Real World OCaml". Я сталкиваюсь с постоянной проблемой: я не могу получить доступ к стандартному библиотечному пакету Джейн Стрит OCaml. Я зашел на страницу Github Джейн Стрит и скачал основной пакет с https://git…
30 окт '17 в 10:39
1 ответ

Загрузка модуля с зависимостями в Utop

У меня два модуля A.ml а также B.ml вот так: A.ml: type t = int let from_int (i : int) : t = i B.ml: open A let my_t : t = from_int 0 Я могу скомпилировать их просто, вызывая ocamlc A.ml B.ml Однако я понятия не имею, как загрузить их обоих в utop д…
24 окт '17 в 16:57
2 ответа

Сравнение с образцом в утопе является более строгим?

Например, есть функция, которая тестирует, если список монотонно увеличивается, исходный код и варианты тестирования: open Printf let rec mon_inc (numbers : int list) : bool = match numbers with | [] -> true | _ :: [] -> true | hdn :: tln -&gt…
29 сен '14 в 15:31
1 ответ

(неправильный аргумент типа arrayp nil) при запуске emacs

Emacs 24 и Mac OSX Mavericks, и мой файл emacs выглядит следующим образом: (setq debug-on-error t) ;; -- common-lisp compatibility if not added earlier in your .emacs (require 'cl) ;; -- Tuareg mode ----------------------------------------- ;; Add T…
11 фев '14 в 19:24
1 ответ

Использовать полностью уточненные имена в утопе

Я хочу запустить Утоп в каталоге, содержащем a.ml (который имеет определение для something) и сможет войти A.something в утопе. Я знаю, что могу сделать #use "a.ml", но это загрязняет глобальное пространство имен. Как я могу сделать полное имя A.som…
27 янв '19 в 02:54
2 ответа

Как установить привязку клавиш в UTOP

Я думаю, что мне нужно каким-то образом отредактировать мой файл ~/.lambda-term-inputrc, но я не знаю, что на самом деле в нем записать.
06 фев '19 в 03:51
1 ответ

Есть ли способ применить тип Variant в моей рекурсивной функции

Я завершил последний вопрос моего задания, в котором просили следующее "Добавьте локальную конструкцию определения " let v = e в f ", где v - переменная, а e и f - выражения. Это означает, что v имеет значение e с in f, и это переопределяет любое зн…
15 фев '19 в 14:20
3 ответа

ocaml: utop, есть ли способ перечислить все функции модуля?

В utop, при открытии библиотеки (через ~require ...) или при открытии модуля (через open Module_name), есть ли способ получить содержимое библиотеки или модуля? Utop предлагает это по вкладкам завершения, но я хотел бы видеть все функции сразу.
19 ноя '15 в 05:58
1 ответ

Утоп не отвечает

Я скачал Utop для Ocaml пару дней назад, и он работал нормально. Сегодня я выполнял некоторую работу, и у меня сразу была запущена куча оболочек (я не понимаю, почему это будет проблемой, но я мог бы также включить детали), и я попытался открыть Uto…
01 окт '18 в 06:38
1 ответ

OCaml не может загрузить "extLib.cma" с верхнего уровня

Когда я пытаюсь загрузить файл extLib.cma в utop, Верхний уровень OCaml, я получаю следующую ошибку: Cannot find file extLib.cma Однако, если я пытаюсь установить его с помощью opam, я получаю следующее замечание: Package extlib is already installed…
20 май '16 в 15:35
0 ответов

Проблемы с установкой OPAM на Ubuntu 14

Чтобы установить OPAM (с уже установленным ocaml), я следовал этому руководству: https://github.com/realworldocaml/book/wiki/Installation-Instructions. Вот шаги, которые я сделал для установки OPAM $ sudo add-apt-repository ppa:avsm/ppa $ sudo apt-g…
31 мар '16 в 03:35
1 ответ

Печатайте значения красиво в утопе

Хаскеля ghci может хорошо печатать любое значение, принадлежащее к типу, который реализует Show класс типов. Есть ли в OCaml аналог, который позволяет utop автоматически печатать значения пользовательских типов? Typing x |> M.to_string каждая стр…
21 июл '17 в 19:24
2 ответа

"Конструктор несвязанного типа _no_unused_value_warning" (только когда используется файл)

Рассмотрим это очень простое определение модуля: module type My_test = sig type config with sexp end;; Когда я непосредственно ввожу это в приглашении utop, все работает нормально: utop # module type My_test = sig type config with sexp end;; module …
04 мар '14 в 22:36
4 ответа

OCaml: не могу запустить utop после установки

Я пытаюсь выучить OCaml через книгу о реальном мире OCaml. У них есть руководство, с помощью которого я должен установить пакет Core и утоп. Однако, хотя я, кажется, успешно устанавливаю оба из них с помощью Opam, ни один из них не работает, когда я…
23 дек '13 в 07:27
1 ответ

Изменить ширину вывода утопии

При отображении длинных списков и других больших значений utop оборачивает их примерно в 80 столбцов, даже когда мое окно терминала шире. Как я могу изменить ширину вывода? Единственное, что я нашел, что могло бы обеспечить решение, это UTop.size, к…
01 май '17 в 15:15
1 ответ

Сохранение истории ввода из утопа в файл

В верхнем уровне OCaml можно сохранить историю ввода пользователя в файл во время сеанса?
27 янв '14 в 22:37
1 ответ

Как перезагрузить модули OCaml в Utop

Возможно ли перезагрузить модули в утопе OCaml? Мой рабочий процесс идет примерно так, когда я играю с кодом OCaml: Сначала откройте файл example.ml в Vim и взломать его. Переключитесь на другой терминал и запустите utop, Изнутри utop загрузить код …
04 сен '17 в 06:59
0 ответов

Установите RTOP cli на Windows для запуска Reason

Я новичок в ReasonML и хочу попробовать Reason в среде RTOP. Но я не могу запустить его на компьютере с Windows. Я не вижу никаких инструкций для этого в документах Reason. Я старался npm install -g bs-platform но это не сработало. Можно ли запустит…
28 авг '18 в 10:32