Я пытаюсь изучить OCaml через книгу Real World OCaml. У них есть руководство, по которому я должен установить пакет Core и утопить его. Однако, хотя я, кажется, успешно устанавливаю оба из них с помощью Opam, ни один из них не работает, когда я...

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 ----------------------------------------- ;;...

В рамках курса «Принципы компилятора», который я изучаю в своем университете, мы пишем компилятор, реализованный на OCaml, который компилирует код Scheme в сборку, подобную CISC (это просто макросы C). основная операция компилятора такова:...

Я пытаюсь настроить среду emacs ocaml, следуя инструкциям Real World Ocaml здесь , но когда я запускаю utop, я получаю сообщение об ошибке: No such package: sexplib.syntax - required by `core.syntax' Если я запускаю: ocamlfind list | grep...

Мне удалось установить и запустить OCaml + OPAM + utop в Windows (в Cygwin) благодаря отличное руководство Джонатана Проценко . В utop я особенно хочу иметь возможность использовать ctypes + ctypes.foreign для быстрого...

ocamlnat распространяется вместе с компилятором, но не собирается по умолчанию. Я могу запустить его, только набрав make natruntop в каталоге сборки компилятора ocaml. Как я могу превратить это в полнофункциональную нативную утопию?

Когда я использую функцию abs_float , Мерлин (работающий в emacs) говорит мне: Warning 3: deprecated: Core.Std.abs_float [since 2014-10] Use [Float] (Однако код все еще компилируется.) Что это пытается мне сказать? Я безуспешно пробовал...

Я собрал кастомную версию ocaml 4.04.0 (написанную кем-то другим). Я могу запускать его и взаимодействовать с ним с помощью rlwrap и ledit, но я бы предпочел запустить его с помощью utop. (Мне не нужно автодополнение; редактирование команд удобнее в...

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

У меня возникает ошибка при установке utop в Fedora 25, когда я запускаю команду «opam install utop». В первый раз, когда я запустил команду, были установлены некоторые пакеты, но не все. Я снова выполнил ту же команду и получил сообщение об ошибке...

Можно ли переместить корень OPAM? Или создать «переносимую» (в смысле, например, «переносимую Firefox») версию корня OPAM? То есть установить кучу пакетов через opam --root=/PATH/TO/A , потом переместить /PATH/TO/A в /ANOTHER/PATH/TO/B , и...

Мне нужно начать изучать язык OCaml. Чтобы практиковать это дома, мы должны установить некоторые устройства в соответствии с руководством, разработанным нашим университетом. Поскольку мы используем Debian в школе, ситуация немного отличается,...

Бег type expression = | Num of int | Var of string | Let of string * expression * expression | Binop of string * expression * expression;; в одном сеансе utop занимает примерно 8 секунд. Теперь, если мы перейдем к...

Когда я выполнил следующие команды в среде взаимодействия (либо OCaml , либо utop ), все выражения типа "int" оказались типа "int/2". Это поведение можно воспроизвести следующим образом. # 3;; - : int = 3 # type int;; type int # type a;; type...

Я читаю книгу Типы и языки программирования ( https://www.cis.upenn.edu/%7Ebcpierce/tapl/ ). В главе 4, Реализация арифметических выражений на ML , он представил info . Я скачал исходный код ocaml arith.tar.gz здесь:...