0
ответов
Как я могу подавить предупреждения об устаревании g ++ в компиляции OCaml при компоновке с библиотеками C ++?
При компиляции OCaml проект, который связывается с библиотеками, требующими стандартную библиотеку C ++ (например, привязки LLVM OCaml) с использованием аргумента -cc g ++ для ocamlc с GCC> = 4.4, генерирует чрезвычайно ...
вопрос задан: 14 May 2011 22:11
0
ответов
Вопрос по списку доступ от функционального программиста-новичка
Это может быть глупый и очевидный вопрос, но почему примеры алгоритмов доступа к списку реализованы в линейном времени? Я понимаю, что в большинстве приложений используется просмотр списков, а не доступ ...
вопрос задан: 14 May 2011 07:32
0
ответов
Включает ли привязка LLVM OCaml внутреннюю поддержку?
Кажется, я не могу найти ссылки на встроенные функции в официальной привязке LLVM OCaml, помимо функции is_intrinsic. Я создаю серверную часть, которая должна выполнять некоторую генерацию кода для конкретной цели (...
вопрос задан: 13 May 2011 21:19
0
ответов
Почему сторонние библиотеки не найдены в пути поиска OCaml?
Моя конфигурация следующая: OCaml устанавливается Homebrew в соответствии с его рецептом по умолчанию. Он находится в /usr/local/Cellar/objective-caml/3.12.0 / [bin, lib, share], содержимое которого ...
вопрос задан: 12 May 2011 22:26
0
ответов
Как определять коммутативные шаблоны в Ocaml с помощью сопоставления с образцом?
Мне нужно обнаружить коммутативный шаблон в одной из моих функций. Я думал, что напишите следующее: пусть my_fun ab = сопоставит a, b с (* ... *) | а, б | b, a, когда is_valid b -> ...
вопрос задан: 10 May 2011 21:09
0
ответов
Могут ли хорошие системы типов различать матрицы в разных базах?
Моя программа (Hartree-Fock / итеративный SCF) имеет два матрицы F и F ', которые на самом деле являются одной и той же матрицей, выраженной в двух разных базах. Я только что потерял три часа времени на отладку, потому что случайно ...
вопрос задан: 1 May 2011 20:53
0
ответов
State monad in OCaml
I was trying to implement the state monad in OCaml (as an exercise). My implementation looks like this: module type MONAD_BUILDER =
sig type 'at val return:' a -> 'at val bind:' at -> ...
вопрос задан: 30 April 2011 18:24
0
ответов
автоматов в ocaml
Я немного новичок в OCaml. Я хочу реализовать алгоритм построения продукта для автоматов в ocaml. Я не понимаю, как представлять автоматы в ocaml. Может ли кто-нибудь мне помочь?
вопрос задан: 30 April 2011 10:09
0
ответов
Создание двусвязного списка из списка в OCaml
Мне часто говорят, что с помощью модуля Lazy в OCaml можно делать все, что вы можете делать на ленивом языке, таком как Haskell. Чтобы проверить это утверждение, я пытаюсь написать функцию, которая преобразует обычный ...
вопрос задан: 28 April 2011 10:04
0
ответов
Использование Ocamllex для лексирования строк (компилятор Tiger)
Я пытаюсь следовать рекомендациям Appel "
...
вопрос задан: 26 April 2011 16:56
0
ответов
символьное вычисление
Моя проблема: манипулирование символьными выражениями. Символьное выражение строится из целочисленных констант и переменных с помощью операторов типа +, -, *, /, min, max. Точнее, я бы ...
вопрос задан: 22 April 2011 10:53
0
ответов
Каковы основные теоретические трудности при добавлении модулей в стиле ML в Haskell?
Хорошо известно, что Классы типов в стиле Haskell и модули в стиле ML предлагают разные механизмы для определения интерфейсов. Они (возможно) эквивалентны по мощности, но на практике у каждого есть свои собственные ...
вопрос задан: 17 April 2011 17:37
0
ответов
How to implement hash table with chaining?
This is probably a stupid question but, I cant for the love of god figure out what I'm missing here in the theory behind hash tables with chaining. This is what I understand: A hash table uses a ...
вопрос задан: 9 April 2011 05:06
0
ответов
Ocaml - parameter type when checking for duplicates in a list
I've got a basic function which checks a list for duplicates and returns true if they are found, false otherwise. # let rec check_dup l = match l with [] -> false | (h::t) -> ...
вопрос задан: 7 April 2011 03:13
0
ответов
Python нелокальный оператор в определении класса
Я пытаюсь выполнить некоторый анализ области видимости в исходном коде Python 3, и я застрял в том, как нелокальный оператор работает внутри определения класса. Насколько я понимаю, определение класса ...
вопрос задан: 28 March 2011 23:36
0
ответов
где находится исходный код стандартной библиотеки в ocaml?
при просмотре стандартной библиотеки ocaml я хочу увидеть исходный код описанных функций, где можно я нашел код для этих функций? http://caml.inria.fr/pub/docs/manual-ocaml/...
вопрос задан: 28 March 2011 04:18
0
ответов
Реализация Ocaml
У меня возникла небольшая проблема с реализацией массивов в ocaml. Например, когда я на терминале (консоле) набираю let tab = Array.make 5 6; У меня есть вкладка val: int array = [| 6; 6; 6; 6; 6 |] в качестве вывода. Итак ...
вопрос задан: 27 March 2011 17:45
0
ответов
Есть ли обходной путь, позволяющий перетаскивать типы ввода с помощью Firefox и HTML 5?
У меня есть кроссбраузерное решение для перетаскивания с использованием HTML 5, которое работает для всех элементов в IE 9, Chrome и Safari. Firefox работает со всем, кроме типов ввода, таких как текстовые поля. Я ...
вопрос задан: 25 March 2011 21:46
0
ответов
Как реализовать шаблон "Русская кукла" в Ocaml?
В Javascript есть шаблон, называемый шаблоном "Русская кукла" (его также можно назвать 'один выстрел'). По сути, это функция, которая в какой-то момент заменяет себя другой. Простой пример:
...
вопрос задан: 20 March 2011 19:56
0
ответов
Различия между конструкторами данных / типов и функциями ?
Может ли кто-нибудь объяснить мне, в чем разница между конструкторами данных / типов и функциями? Haskell смешивает их и дает нам универсальный интерфейс (все похоже на функции, в частности, мы можем ...
вопрос задан: 18 March 2011 16:18
0
ответов
Модули OCaml: перенос (взаимосвязанных) типов из разных модулей в новый модуль
Проблема Одна из проблем, с которой я столкнулся, - это объединение типов и значений двух модулей в новый комбинированный модуль. Приведу пример. В настоящее время у меня есть следующие два типа сигнатур модуля тип ...
вопрос задан: 17 March 2011 04:29
0
ответов
Как преобразовать тип данных Ocaml в xml и наоборот?
Есть ли простой способ перейти от типа данных Ocaml к соответствующему xml-представлению? Предположим, что у меня есть следующие типы: type A = | Список FirstA of B | SecondA типа строки C * B = ...
вопрос задан: 16 March 2011 15:44
0
ответов
Разбор C в Ocaml
Я хотел бы получить абстрактное синтаксическое дерево (AST) из кода C в значение OCaml, чтобы я мог дальше обрабатывать проанализированный код с простой программой OCaml. Я имел в виду использовать GCC, получить AST (...
вопрос задан: 4 March 2011 15:10
0
ответов
Изучение / использование машинного обучения. Какую систему мне следует использовать?
Я хочу изучить и использовать ML, но есть много компиляторов. Мне нужно: скорость
низкое использование памяти
заправка
изменяемые массивы и типы записей
продолжения
готовый к производству код
легкий ffi
своевременно
...
вопрос задан: 4 March 2011 09:13
0
ответов
type + 'at в библиотеке карт Ocaml?
Я работаю со встроенной библиотекой карт Ocaml для набора проблем, и я У меня проблемы с доступом к типу данных самой карты. Предполагается, что это будет третья реализация словаря (...
вопрос задан: 3 March 2011 04:52
0
ответов
Открытые и закрытые типы объединения в Ocaml
Я впервые изучаю OCaml, имея некоторый опыт работы с F # и Haskell. По сути, многое выглядит знакомо, но одна вещь, которой нет, - это концепция «открытых» и «закрытых» объединений (...
вопрос задан: 27 February 2011 07:15
0
ответов
Рекурсивные определения переменных в Python и F # (возможно, OCaml, тоже)
Учитывая эти объявления типов F # ... type Message = | MessageA | MessageB | MessageC | Тип сообщенияD Состояние = {Имя: строка NextStateMap: Карта <Сообщение, Состояние>
} ... is ...
вопрос задан: 25 February 2011 15:48
0
ответов
Дружественные модули в OCaml
В настоящее время у меня есть два «уровня» модулей, которые представляют отношения данных-идентификаторов в базе данных. Первый уровень определяет типы идентификаторов, такие как IdUser.t или IdPost.t, а второй уровень ...
вопрос задан: 23 February 2011 10:44
0
ответов
Странная вещь OCaml
Может ли кто-нибудь объяснить такое поведение OCaml на верхнем уровне? # 1________________________________1 ;;
-: int = 11 (Большая строка представляет собой последовательность знаков подчеркивания: '_') Из любопытства эта программа компилируется под ...
вопрос задан: 20 February 2011 02:20
0
ответов
How do I represent an null value in type float for Ocaml
I know this may seem very basic but basically, I want to say in pattern matching match value with Null-> failwith "Empty" |value-> #do something I've tried any variation of null or none, ...
вопрос задан: 16 February 2011 18:49