0
ответов
Какова цель OCaml Lazy.lazy_from_val?
В документе Lazy.lazy_from_val указано, что эта функция предназначена для особых случаев: val lazy_from_val : 'a -> 'at lazy_from_val v возвращает уже принудительно приостановку v Это для особых...
вопрос задан: 18 March 2012 17:39
0
ответов
Как изобразить простой конечный автомат в Ocaml?
Я написал какой-то конечный автомат на C ++ и Java, но никогда не работал на таком функциональном языке, как Ocaml. Проблема в том, что я не знаю, смогу ли я просто адаптировать код из версий объектных языков, поскольку в Ocaml ...
вопрос задан: 17 March 2012 04:05
0
ответов
Книга-рекомендация по построению компилятора из OCaml в C [закрыта]
Кто-нибудь знает книгу по построению компилятора, который генерирует код C из OCaml?
вопрос задан: 16 March 2012 10:46
0
ответов
Какой файл .cma соответствует какому модулю в OCaml?
Если я программирую в топлупе OCaml и хочу использовать пакет из стандартной библиотеки OCaml или какой-либо другой библиотеки, как мне узнать, какой файл .cma загрузить? В стандартной библиотеке для...
вопрос задан: 15 March 2012 21:40
0
ответов
Подавить «Исходный код C виден, но `CC `не определен» в automake?
У меня есть Makefile.am для компиляции исходного кода Ocaml с помощью ocamlbuild. Однако даже хотя у меня в configure.ac есть AM _INIT _AUTOMAKE ([посторонние нет -зависимостей] ), automake считает, что компилятор C...
вопрос задан: 11 March 2012 08:00
0
ответов
Как каррировать функцию относительно его необязательные аргументы в OCaml
Предположим, функция bind имеет помеченный аргумент, необязательные аргументы и немаркированные аргументы, и вы хотите определить метод m, который применяет немаркированные аргументы bind и возвращает частично ...
вопрос задан: 10 March 2012 14:44
0
ответов
OCaml: рисование бинарных деревьев
Я работаю над некоторыми программами, использующими деревья. Мне было интересно, есть ли какой-нибудь фрагмент кода для рисования общих деревьев в OCaml. type Tree = Узел дерева * int * Tree | Потомок int ;; Все, что я нахожу в Интернете ...
вопрос задан: 4 March 2012 16:04
0
ответов
Есть ли имя для функции, которая принимает фрагмент данных и список функций и применяет каждую функцию к результату последней?
В Clojure есть макрос ->, который принимает фрагмент данных и набор функций, применяет данные к первой функции, а затем применяет результат к следующей, результат этого к ...
вопрос задан: 3 March 2012 15:01
0
ответов
Лучше использовать «и» или «in» при объединении операторов let?
Я понимаю, что это, вероятно, глупый вопрос, но. .. Если я связываю кучу операторов let, которым не нужно знать значения друг друга, лучше использовать and или in? Например, какой из ...
вопрос задан: 2 March 2012 13:25
0
ответов
Как функционально вычислить разницу между последовательными элементами списка неизвестного размера?
На языке программирования, который является чисто функциональным (например, Haskell) или где вы используете его только функционально (например, clojure ); предположим, у вас есть список / последовательность / перечислимый (неизвестного размера) целых чис
вопрос задан: 1 March 2012 17:45
0
ответов
Кросс-компиляция приложений ocaml для ARM
Я кросс-компилирую драйвер сенсорного экрана, который поставляется с приложением ocaml для калибровки. Я пытаюсь скомпилировать драйвер и приложение для ARM, в частности, для Beagleboard, работающего ...
вопрос задан: 27 February 2012 21:14
0
ответов
Как вернуть индекс цикла for в OCaml?
пусть find_free_next куча start = for i = start to ((Array.length heap)-1) do match heap. (i) с Hdr (Free (h), g) -> i done Как я могу вернуть индекс цикла в качестве ...
вопрос задан: 27 February 2012 13:08
0
ответов
Какие библиотеки Javascript хорошо поддерживают подсветку синтаксиса кода OCaml?
В идеале библиотека поддерживает широкий спектр языков в дополнение к OCaml, но основным требованием является хорошая поддержка OCaml.
вопрос задан: 27 February 2012 12:59
0
ответов
Ограничение полиморфного типа
У меня есть тип диапазона, определенный как: type 'a range = Full | Диапазон ('a *' a) Однако я хотел бы ограничить 'a целым числом, числом с плавающей запятой или char, без других допустимых типов для' a. Диапазон (0,10)(* допустимо ...
вопрос задан: 26 February 2012 23:00
0
ответов
Расширение типов в архитектурах плагинов
Прямо сейчас у меня есть рабочая система шаблонов HTML, написанная на OCaml. Общий дизайн таков, что индивидуальный шаблон - это модуль, возвращаемый функтором, применяемым к следующему типу модуля: module ...
вопрос задан: 24 February 2012 12:31
0
ответов
Когда следует использовать -g для печати трассировки стека в OCaml ?
Я пытаюсь получить трассировку стека с помощью Printexc.get_backtrace, но получаю ошибку: (Program not linked with -g, cannot print stack backtrace) Я компилирую так: ocamlfind ocamlc -g -o foo ....
вопрос задан: 24 February 2012 11:52
0
ответов
Как отследить программу для отладки в OCaml?
У меня общий вопрос относительно методов кодирования ... Во время отладки в какой-то момент моего кода мне нужен код для вывода текущего состояния; Когда я не отлаживаю, я не хочу оставлять код ...
вопрос задан: 24 February 2012 11:52
0
ответов
Фильтровать элементы в списке по длине - Ocaml
У меня есть следующий список: [«A»; «AA»; «ABC»; «BCD»; «B ";" C "] Я случайным образом извлекаю элемент из списка. Но элемент, который я извлекаю, должен иметь размер 3, но не меньше 3. Я пытаюсь сделать ...
вопрос задан: 23 February 2012 12:40
0
ответов
типизация рекурсивных модулей
В статье Лероя о том, как рекурсивные модули типизируются в OCaml, написано, что модули проверяются в среде, состоящей из приближений типов модулей: module rec A = ... и B = .. . и C = .....
вопрос задан: 21 February 2012 12:52
0
ответов
Как я могу получить трассировку стека с помощью звонков в ocaml?
Стек вызовов Ocamldebug - это реальный стек вызовов, поэтому функции, которые сделали хвостовое вызов, не появляются в нем. Это смущает. Как я могу получить обратный транспорт, который включает в себя хвостовые звонки?
вопрос задан: 21 February 2012 08:49
0
ответов
Неужели в OCaml нет никаких проверок на рекурсию?
Я недавно играл с OCaml, и быстро сделал свое любимое дело, чтобы проверить, насколько хорошо развита VM/Compiler, и написал рекурсивную программу: let rec f i = Printf.eprintf "i = %d\...
вопрос задан: 21 February 2012 08:48
0
ответов
Варианты или полиморфные варианты?
Я заметил, что среди знакомых мне программистов OCaml некоторые из них всегда используют полиморфные варианты (варианты, которые не объявлены, с префиксом обратной кавычки), тогда как другие никогда не используют полиморфные ...
вопрос задан: 20 February 2012 19:26
0
ответов
Какой урок английского вы посоветуете для изучения OCaml? [закрыто]
Я хочу прорекламировать OCaml для начинающих и ищу хорошие руководства на английском языке; не то, чтобы вы только слышали, но то, что вы действительно пытались и сочли полезным ...
вопрос задан: 20 February 2012 09:18
0
ответов
удалить повторяющуюся строку и пустую строку
let undefined = ["строка"; ""; "нить"; "boolean"; ""; "innermost"] У меня есть список, и я хочу написать функцию, которая возвращала бы список без повторяющихся и пустых строковых списков. Например, undefined ...
вопрос задан: 18 February 2012 14:43
0
ответов
gcc ld: не найдены символы для архитектуры x86_64
Хорошо, я делаю лексер и парсер с помощью Ocamlyacc. Я провел свое исследование и думаю, что это как-то связано с тем, что мой make-файл не выбирает правильную битовую версию для моего компилятора или что-то вроде ...
вопрос задан: 16 February 2012 15:31
0
ответов
Эквивалентные типы OCaml
Я создаю две библиотеки в OCaml, которые содержат один и тот же вариантный тип. Детали варианта не слишком важны, кроме того, что он действительно большой, и это будет раздражать вручную ...
вопрос задан: 15 February 2012 15:56
0
ответов
Учебное пособие по событию / каналу OCaml?
Я использую OCaml. Я хочу смоделировать взаимодействующие узлы, чтобы посмотреть, как быстро сообщения распространяются при различных схемах связи и т. Д. Узлы могут 1. отправлять и 2. получать фиксированное сообщение. Я ...
вопрос задан: 12 February 2012 00:49
0
ответов
Инструменты для профилирования кода OCaml
Кто-нибудь знает о программах для профилирования кода OCaml, кроме использования параметра -p во время компиляции и последующего использования гпроф? Я задаю этот вопрос, чтобы проверить, составляет ли время выборки 0,01 ...
вопрос задан: 8 February 2012 14:16
0
ответов
Непоследовательные предположения по интерфейсу (Ocaml)
Я внезапно начал получать эту ошибку. Я не знаю, как ее диагностировать или исправить. Я что, должен перебирать bar.ml и проверять каждую функцию Big_int на соответствие сигнатуре в Big_int.mli? Файл "foo.ml", ...
вопрос задан: 6 February 2012 20:04
0
ответов
Объявления и глобальные ссылочные переменные для нескольких файлов
Моя папка содержит несколько файлов, которые компилируются в следующем порядке: global.ml, zone.ml, abs.ml, main.ml global.ml содержит некоторые ссылочные переменные ( например, пусть g1 = ref 0) для всех файлов. В зоне ....
вопрос задан: 5 February 2012 13:31