2
ответа

Регулярные выражения в OCaml

Я хочу использовать regexps в OCaml, и кажется, что модуль ул. обеспечивает эти технические возможности. Таким образом, я попробовал простой программой: откройте Str позволил regx = regexp".", но он дает мне следующую ошибку...
вопрос задан: 11 July 2010 13:44
2
ответа

Перекрестное соединение OCaml

как делает работу соединения, на которую ссылаются, в OCaml? Пример, давайте предположим, что у меня есть 3 модуля, объявленные как, A.ml B.ml C.ml которого потребности B и C B нужно, Как я должен продолжить двигаться в компиляции? Так как порядок...
вопрос задан: 1 July 2010 17:14
2
ответа

Вызовите компилятор OCaml, чтобы просто произвести .cmi

возможно, я просто перестал работать в действительно простой вещи, но я разрабатываю intepreter, записанный в OCaml со стандартными инструментами как ocamllex и ocamlyacc, и у меня есть эта ситуация: iparser.mly содержит синтаксический анализатор...
вопрос задан: 30 June 2010 15:16
2
ответа

Как Ocaml решает приоритет для пользовательских операторов?

Я хочу, чтобы хорошие операторы для сложной арифметики сделали мой код более читаемым. Ocaml имеет Сложный модуль, таким образом, я просто хочу добавить операторы, которые вызывают те функции. Самый интуитивный путь ко мне к...
вопрос задан: 5 June 2010 20:31
2
ответа

Введение Ocaml

я пытаюсь изучить ocaml прямо сейчас и хотел запуститься с небольшой программы, генерируя все наборы двоичных знаков: ["0", "0", "0"] ["0", "0", "1"] ["0", "1", "0"]
вопрос задан: 10 May 2010 13:22
2
ответа

Почему это не закорачивает отрывок OCaml с работой Printf.printf?

Я - новичок OCaml. Я играю вокруг с "привет мировыми" отрывками типа и столкнулся с этой ситуацией. Вот сессия с интерпретатором с некоторыми дополнительными комментариями: # позволяют среднему числу b = (+. b)...
вопрос задан: 5 March 2010 18:16
2
ответа

Это функционирует хвостовая рекурсия использования?

Я задаюсь вопросом, оптимизирует ли oCaml этот код, чтобы быть рекурсивным хвостом и раз так делает F#? позвольте rec суммировать xs =, соответствуют xs | []-> 0 | x:: xs'-> x + суммируют xs'
вопрос задан: 27 February 2010 11:54
2
ответа

Правильно компилирующие модули в подпапках (ocamlbuild)

Я недавно решил организовать файлы в своем каталоге проекта. Я переместил синтаксические анализаторы, которые я имел для нескольких различных типов файлов в их собственный каталог и также решил использовать ocamlbuild (как...
вопрос задан: 8 February 2010 20:47
2
ответа

OCaml пустая глобальная переменная

Я хотел бы знать, как делают я определяю пустое! глобальная переменная типа Hashtbl в OCaml? Я не хочу использовать Hashtbl.create, потому что я не знаю его начального размера, и я не хочу предполагать начальный размер...
вопрос задан: 29 December 2009 08:31
2
ответа

Что делает ocaml тип 'a'.-> 'среднее?

В ocaml спецификации языка существует короткий раздел: poly-typexpr:: = typexpr | {'ident} +. typexpr Там не является никаким объяснением в тексте и единственным экземпляром поли-...
вопрос задан: 20 December 2009 18:23
2
ответа

Как форматировать существующий код OCaml

Я имею ~30.000 строки плохо форматируемого кода OCaml (включая mly и mll файлы) и хотел бы расположить их с отступом. Я пытался гуглить для изменений 'ocaml отступ' самое близкое, которое я могу получить, должен использовать Omlet....
вопрос задан: 17 December 2009 22:35
2
ответа

Что % означает во внешнем объявлении OCaml?

Много внешних объявлений в стандартной библиотеке OCaml имеют % в начале имени функции, такого как определение int_of_float: внешний int_of_float: плавание-> интервал = "%intoffloat"...
вопрос задан: 16 December 2009 21:25
2
ответа

Как я могу создать тип с несколькими параметрами в OCaml?

Я пытаюсь создать тип, который имеет несколько параметров типа. Я знаю, как сделать тип с одним параметром: введите 'нечто = '* интервал, Но у меня должно быть два параметра, так, чтобы я мог параметризовать...
вопрос задан: 1 December 2009 14:46
2
ответа

Интервал Ocaml и отрицательные величины

Учитывая этот отрывок кода OCaml: позвольте rec еще расположиться b = если a> b затем [] a:: диапазон (a+1) b;; Repl говорит мне, что это - тип: диапазон val: интервал-> интервал-> интервал перечисляет = <забава>...
вопрос задан: 23 October 2009 14:19
2
ответа

OCaml для JVM. Есть ли кто-либо? [закрытый]

Я смотрел на некоторые новые языки для JVM. Два из них собирают много интереса в эти дни: Clojure и Scala. Но по моему скромному мнению, они оба не идеальны. (Давайте сохраним это предположением...
вопрос задан: 8 October 2009 13:08
2
ответа

Действительно “соответствует … верный-> нечто | ложь->, панель” имеет особое значение в Ocaml?

Я встретился со следующей конструкцией в различных местах в течение проекта Ocaml, из которого я читаю код. соответствуйте чему-то истинному-> нечто | ложь-> панель На первый взгляд, это работает как...
вопрос задан: 26 September 2009 12:19
2
ответа

OCaml: модули Набора

Я хочу использовать OCaml для, генерирует наборы данных, и сделайте сравнения между ними. Я видел документацию для типов Модуля как Набор. OrderType, Набор. Сделайте, и т.д., но я не могу выяснить как к...
вопрос задан: 20 September 2009 22:43
2
ответа

Как использовать мультиядра в Ocaml, чтобы сделать моделирования Монте-Карло?

Процесс Ocaml может использовать всего одно ядро и для использования нескольких Core i, должны выполнить несколько процессов. Там какие-либо платформы Ocaml должны использовать для параллелизации моделирований Монте-Карло?
вопрос задан: 23 August 2009 23:08
2
ответа

Хороший ocaml синтаксический анализатор? [закрытый]

Я ищу хороший ocaml парсинг библиотеки, которая не является производной гибкого провода/бизона. Идеально, я хотел бы одноместную combinator библиотеку вроде парсека, но я ничего не могу найти. Я использовал бы...
вопрос задан: 21 November 2008 01:10
2
ответа

Как я получаю отслеживание стека в OCaml?

Объективный язык Caml только произведет отслеживания стека, если Вы попросите их просто у права - каковы требования и для байт-кода и для собственного кода?
вопрос задан: 28 September 2008 13:53
2
ответа

Контакт с круговыми зависимостями в OCaml

Я пишу интерпретатор для экспериментального языка. Три из основных конструкций языка являются определениями, операторами и выражениями. Определения могут содержать операторы и выражения...
вопрос задан: 30 August 2008 19:06
1
ответ

Как делают меня интерфейс OCaml с iPhone API?

Я хотел бы запустить приложения разработки для iPhone, но я действительно хотел бы использовать OCaml, а не Objective C. После некоторого поиска с помощью Google кажется, что это определенно возможно, но я не нашел никого...
вопрос задан: 29 June 2019 10:37
1
ответ

Понимание структуры Ocaml

Как я прохожу через веб-сайт: http://www.cs.princeton.edu/courses/archive/fall14/cos326/sec/03/precept03_sol.ml У меня есть вопрос по структуре Ocaml. Чтобы быть более конкретным, я ...
вопрос задан: 18 March 2019 00:18
1
ответ

Тип возвращаемого значения метода не согласован

Я пишу функцию в OCaml, чтобы проверить, являются ли два типа унифицируемыми, и создаст ли унификатор, если он есть, или напечатает соответствующее сообщение. Вот система типов: type typExp = | ...
вопрос задан: 7 March 2019 15:30
1
ответ

Ocaml не распознает List.init в Утопе

Каждый раз, когда я использую List.init, я получаю сообщение об ошибке: Unbound value List.init Я думаю, это потому, что у меня Ocaml 4.03.0 и List.init не был представлен до 4.06.0. Это заставило бы меня поверить, что я ...
вопрос задан: 4 March 2019 22:34
1
ответ

Рекурсия в OCaml: обратная с Concat

У меня есть вопрос, касающийся потока выполнения в рекурсивных функциях в OCaml. Это сценарий: у меня есть две рекурсивные функции, Concat и Reverse. Обратные звонки Конкат. Кто-нибудь сможет ...
вопрос задан: 2 March 2019 13:13
1
ответ

OCaml: не могу найти версию

Когда я вхожу в ocaml --version, он возвращает / usr / bin / ocaml: неизвестный параметр --version. Я установил его с помощью OPAM и выполнил инструкции opam init eval $ (opam env) eval opam env opam switch create ...
вопрос задан: 18 January 2019 17:08
1
ответ

Как исправить ошибку компиляции OCaml при использовании аннотаций типов с функторами?

Я новичок в OCaml и пытаюсь использовать функторы. Когда я использую аннотации типа модуля с функторами, это приводит к ошибке времени компиляции в моем коде. Когда я удаляю: Printable (из ...
вопрос задан: 18 January 2019 08:57
1
ответ

оператор if после математической операции Синтаксическая ошибка в OCaml

Привет, я новичок в OCaml и работаю над проблемой. Метод ниже не то, что я должен сделать, но я сузил ошибку в моем коде до этого. Мне было интересно, почему это работает, если я уберу x = x *. 2 ....
вопрос задан: 16 January 2019 01:31
1
ответ

Ошибка при выполнении оператора в целом, но работает при запуске по одному на верхнем уровне

Поэтому я пробовал вопрос 48 по этой ссылке в LearnOcamel, и я получил синтаксическую ошибку с ключевым словом «in» во втором операторе let в редакторе, если вы посмотрите на мои предоставленные коды. введите изображение ...
вопрос задан: 15 January 2019 19:37