0
ответов
Получение постоянного времени для получения времени с неизменным списками в функциональном контексте программирования
В настоящее время я сталкиваюсь с проблемой необходимости сделать мои расчеты на основе длины данного списка. Необходимость итерации по всем элементам списка, чтобы узнать, что его размер - это большая производительность ...
вопрос задан: 3 September 2011 17:13
0
ответов
Как можно использовать набора инструментов OCAMLFIND / OCAMLBUILD с проектами - локальными копиями пакетов?
Я пытаюсь сохранить мой проект, со всеми крупными третьей партийными библиотечными зависимостями, созданными и упоминающимися в рамках репозитория проекта. Главные участки OCAML моего проекта полагаются на ...
вопрос задан: 1 September 2011 18:45
0
ответов
Как значения Ocaml могут быть напечатаны за пределами Toplevel?
ocaml reft ("Toplevel") имеет богатую печать для любых типов, определенных пользователем или иным образом. Возможно ли получить доступ к этой функциональности за пределами Toplosevel, вместо того, чтобы писать совершенно пользовательские ...
вопрос задан: 31 August 2011 17:55
0
ответов
Главные числа на уровне типа в Ocaml
могут кто-нибудь дать мне предложения / рекомендации по указанию уровня уровня в Ocaml (3.12) поддерживать дополнение и вычитание на них? Например, если у меня есть цифры, подобные этому: ...
вопрос задан: 30 August 2011 13:18
0
ответов
Интерфейс OCaml vs . signature?
Я немного запутался в отношении интерфейсов и сигнатур в OCaml. Из того, что я читал, интерфейсы (файлы .mli) определяют, какие значения могут использоваться / вызывать другие программы. Файлы подписей ...
вопрос задан: 29 August 2011 02:22
0
ответов
REPL для ocamldebug?
Одна из вещей, которую я упускаю из GHC (Haskell) при использовании OCaml, это то, что нет унифицированного отладчика/REPL. Отладчик и REPL полностью отделены друг от друга, и это безумие! Ты не можешь думать о ...
вопрос задан: 25 August 2011 11:52
0
ответов
Каковы примеры эффективных языков с логическим выводом типов, подходящих для работы с многомерными массивами
Меня не очень волнует сборка мусора, если она есть, она должна быть необязательной. Язык D отвечает всем требованиям, но я изучаю другие варианты. Удивительно для меня, это кажется малонаселенным ...
вопрос задан: 23 August 2011 00:56
0
ответов
Ocaml: Получение использования процессора процессом
Что я хочу сделать У меня есть приложение OCaml с интенсивными вычислениями, и я бы хотел, чтобы оно работало в фоновом режиме, не мешая нормальному использованию компьютера. Я хотел бы представить пользователям два ...
вопрос задан: 7 August 2011 19:47
0
ответов
Повторно использовать и расширить определенный тип в Ocaml
Есть ли в Ocaml простая конструкция / стиль для расширения определенный тип? Скажем, если у нас есть логический тип bool2 = True | Ложь. Теперь мы хотим расширить его для 3-значной логики. В Ocaml есть еще ...
вопрос задан: 30 July 2011 06:58
0
ответов
Что означает. {X} в OCaml?
В настоящее время я пытаюсь перенести некоторые OCaml на F #. Я нахожусь на «дне» с OCaml, и мой F # немного заржавел. В любом случае, код OCaml отлично компилируется в компиляторе OCaml, но (что неудивительно) дает ...
вопрос задан: 21 July 2011 00:57
0
ответов
Модули и рекордные поля
я споткнулся через довольно простую проблему OCaml, но я, может казаться, не нахожу изящное решение. Я работаю с функторами, которые применяются к относительно простым модулям (они обычно определяют тип...
вопрос задан: 20 July 2011 11:57
0
ответов
Какой самый простой способ добавить элемент в конец списка?
Как ::: 'a ->' список -> 'список используется для добавления элемент в начало списка. Может ли кто-нибудь сказать мне, есть ли функция для добавления элемента в конец списка? Если нет, я думаю, List.rev (...
вопрос задан: 18 July 2011 11:56
0
ответов
Можно ли записать расширения opa в Ocaml?
Я заметил, что в исходном коде примера OpaWhiteBoard есть это файл .ml здесь:
https://github.com/hhugo/OpaWhiteBoard/blob/master/src/opacairo/cairo.ml Похоже, это OCaml с ...
вопрос задан: 10 July 2011 20:26
0
ответов
IEnumerable в OCaml
Я часто использую F #. Все базовые коллекции в F # реализуют интерфейс IEumberable, поэтому вполне естественно получить к ним доступ с помощью одного модуля Seq в F #. Возможно ли это в OCaml? Другой ...
вопрос задан: 5 July 2011 23:57
0
ответов
Каково состояние возможностей распараллеливания OCaml?
Мне интересно использовать OCaml для проекта, однако я не уверен, где его возможности распараллеливания. Есть ли в OCaml возможность передачи сообщений? Может ли OCaml эффективно ...
вопрос задан: 5 July 2011 20:30
0
ответов
Где / как объявить уникальный ключ переменных в компиляторе, написанном на Ocaml?
Я пишу компилятор мини-паскаль в Ocaml. Я бы хотел, чтобы мой компилятор принял, например, следующий код: тест программы;
var a, b: логическое; n: целое число;
начать ...
конец. У меня есть ...
вопрос задан: 29 June 2011 09:28
0
ответов
Как отлаживать / выполнять программу Ocaml шаг за шагом?
Я знаю интересно, можно ли отлаживать / выполнять программу Ocaml шаг за шагом, например, как отладка программ C ++ в Visual Studio. Другими словами, я хотел бы запустить строку программы Ocaml с помощью ...
вопрос задан: 23 June 2011 13:25
0
ответов
Написание cat в OCaml: использование Unix.read
Я пытаюсь написать небольшие утилиты, чтобы привыкнуть к программированию Unix с помощью OCaml. Вот моя попытка для cat: open Unix ;; let buffer_size = 10 let buffer = String.create buffer_size let ...
вопрос задан: 21 June 2011 06:36
0
ответов
Неуверенность между C / C ++, OCaml и F # для моего компилятора [закрыто]
Я хочу начать работу над маленьким компилятором, а для его создания я колеблюсь между несколькими разными языками. Мои требования просты, я хочу иметь возможность генерировать код LLVM-IR, потому что у меня есть ...
вопрос задан: 20 June 2011 23:01
0
ответов
См. Выводимые типы в сложном коде OCaml
Я новичок в OCaml, работаю с довольно сложным (по крайней мере для меня) кодом OCaml, которого я не писал. Было бы очень полезно понять это, если бы я мог видеть предполагаемые типы для некоторых значений, поскольку я могу ...
вопрос задан: 17 June 2011 17:34
0
ответов
Ocaml - строка в список (int * int * int)
Находится в функции ocaml, которая может анализировать строку, подобную этой "[(1,2,3); (1,2, 5); (2,3,4)] "в список (int * int * int)? или мне нужно написать собственную функцию синтаксического анализа? Спасибо, Грег
вопрос задан: 17 June 2011 16:42
0
ответов
Использование объявлений внешнего типа с OCamlyacc
У меня есть тип expr в файле expr.ml. В parser.mly (файл OCamlyacc) я определяю правило expr и даю тип:% start expr% type expr Однако я получаю: Файл "parser.mli", ...
вопрос задан: 15 June 2011 15:01
0
ответов
Возвращаемые значения OCaml
В книге «Разработка приложений с помощью OCaml» есть следующее объяснение возвращаемых значений: Поскольку значение, предшествующее точке с запятой, отбрасывается, Objective CAML выдает предупреждение, когда it ...
вопрос задан: 15 June 2011 06:40
0
ответов
Как можно использовать ocamldebug с проектом «Включенные батареи»?
У меня есть простой проект ocamlbuild, в котором используются батареи, включая расширения синтаксиса. _tags: <*>: pkg_batteries, pkg_threads, pkg_batteries.syntax, syntax_camlp4o something.ml: open Batteries
…
...
вопрос задан: 2 June 2011 19:12
0
ответов
Установка приглашения в пользовательском верхнем уровне OCaml
В пользовательском верхнем уровне OCaml есть способ программно установить в приглашении значение # на другое значение? Я хотел бы иметь возможность изменить его в ответ на последнюю из моих пользовательских функций (...
вопрос задан: 27 May 2011 23:26
0
ответов
Есть ли публичные ответы на книгу Джейсона Хики Окамла?
Я читаю книгу Джейсона Хики и делаю упражнения в конце каждой главы, но не могу найти ответы где угодно гуглить. Я отправил jyh по электронной почте на cs.caltech.edu пару дней назад, но ...
вопрос задан: 24 May 2011 13:09
0
ответов
Obj module documentation
Is there any documentation about the Obj module? I could only find a list of functions without any description... (BTW: I know these are low-level functions not meant to be generally used)
вопрос задан: 18 May 2011 21:38
0
ответов
Получение двоичных данных C из OCaml
(Игнорирование порядка байтов ради аргумента - это всего лишь тестовый пример / доказательство концепции - и я бы никогда не использовал strcpy в реальном коде. !) Рассмотрим следующий тривиальный код C: #include <...
вопрос задан: 16 May 2011 21:48
0
ответов
Django: Как сохранить набор форм на основе двух моделей
У меня возникают трудности с сохранением набора форм в базу данных. У меня есть 2 модели, одна из которых имеет ForeignKey для другой (я сделал несколько записей для модели Balanta на странице администратора Django): models. py class ...
вопрос задан: 15 May 2011 15:30
0
ответов
OCaml явные подписи типа
В Haskell считается хорошей практикой явно объявлять сигнатуру типа ваших функций, даже если она (как правило) может быть выведена. Кажется, что это даже невозможно в OCaml, например ...
вопрос задан: 14 May 2011 22:51