В настоящее время я сталкиваюсь с проблемой необходимости выполнять мои расчеты на основе длины...
У меня не работает привязка z3 ocaml для Windows 7. Вот процесс, которому я следовал. Установлено...
Я пытаюсь сохранить свой проект автономным, со всеми основными сторонними библиотечными...
OCaml repl ("toplevel") имеет расширенную печать для любых типов, определенных пользователем или...
Может ли кто-нибудь дать мне предложения / советы по созданию целых чисел уровня типа в OCaml (3
У меня есть функция sqrt, которая принимает 2 значения с плавающей запятой, допуск и число и выдает...
Я немного смущен интерфейсами и сигнатурами в OCaml. Из того, что я прочитал, интерфейсы (файлы
Эта функция принимает два целых числа и возвращает список всех целых чисел в диапазоне [a, b] Это...
Я разработал приложение, которое подключается к API PayPal с помощью libcurl, которое я использую...
В настоящее время я изучаю OCaml, и это доставляет мне некоторые проблемы.Я пытаюсь реализовать...
Одна из вещей, которую мне не хватает в GHC (Haskell) при использовании OCaml, - это отсутствие...
Меня не волнует сбор мусора, если он есть, он должен быть необязательным. Язык D отвечает всем...
Как обычно в OCaml используется двойной тест, который подделывает соединение с базой данных?...
Я пытаюсь использовать эту реализацию trie для ocaml: http://www.lri.fr/~filliatr/ftp/ocaml/ds/trie
Я предполагаю, что база данных Opa написана на OCaml .Доступен ли он как отдельный проект, чтобы...
Я пытаюсь установить OCaml 3.12.1 на 64-битной Linux (Mint Linux, которая по сути является Ubuntu...
Допустим, у меня есть функция OCaml let _ = register "cbf_coh_insert" (fun k v ->...
В Emacs я пытаюсь свернуть исходные файлы ocaml таким образом, чтобы: каждое определение let...
Извините за публикацию такого длинного не компилируемого кода.Но, несмотря на то, что я прочитал...
Есть ли в Ocaml простая конструкция / стиль для расширения определенного типа? Скажем, если у нас...
Я определил тип и функцию: type element = ... let merge (x0: element) (x1: element): element * bool...
Я пытаюсь использовать SWIG 2.0.4 в библиотеке C ++, в моем файле .i есть следующее: %module coh %{...
Я определил некоторые типы: type box = Box of int type table = Table of int type compare_result =...
Посмотрите на этот код F # / OCaml: type AllPossible = | A of int | B of int*int | ... | Z of ......
Я впервые пытаюсь что-то скомпилировать в AIX.Я хочу скомпилировать Ocaml, чтобы использовать...