0
ответов
Изменить порядок приложений в OCaml
Есть ли способ изменить порядок с левоассоциативного на правоассоциативный, кроме скобок? Например, в Haskell вы можете написать foo $ bar b и foo будет применяться к результату из bar b. let ...
вопрос задан: 22 November 2010 04:28
0
ответов
Ошибка: невозможно безопасно оценить определение рекурсивно определенного модуля
I ' Мне интересно понять, почему возникает эта ошибка и как ее лучше всего обойти. У меня есть пара файлов types.ml и types.mli, которые определяют значение типа варианта, которого может быть много ...
вопрос задан: 21 November 2010 20:52
0
ответов
совместимость кода между OCaml и F #
Доброго времени суток всем, я разрабатываю небольшой хобби-проект в OCaml. Мне было интересно, насколько легко будет перенести его на F #. Я знаю, что в F # есть некоторые функции, которых нет в OCaml, но я надеялся, что мой ...
вопрос задан: 21 November 2010 17:15
0
ответов
Определение наборов в ocaml
У меня проблема с созданием коллекции, содержащей разнородные элементы, в частности, элемент будет структурирован следующим образом: (a, 1), ((a , 1), 1)), ((a, 1), 1), 1) и так далее .... могу я сделать это ...
вопрос задан: 18 November 2010 09:54
0
ответов
сигнатуры / типы в функциональном программировании (OCaml)
Я начал изучать функциональное программирование (OCaml), но не понимаю одной важной темы о fp: сигнатуры (я не уверен, правильное ли это имя). Когда я что-то печатаю и компилирую с помощью ocaml, я ...
вопрос задан: 17 November 2010 00:28
0
ответов
fold_tree в OCaml
Как Вы, возможно, знаете, в OCaml есть функции более высокого порядка, такие как fold_left, fold_right, filter и т.д. На моем курсе функционального программирования была введена функция с именем fold_tree, которая ...
вопрос задан: 15 November 2010 22:32
0
ответов
Установка OCaml, двоичные файлы не обнаруживаются
Я пытаюсь установить и запустить objective-caml на удаленном сервере unix. Я успешно собрал и установил все файлы, входящие в пакет ocaml. Однако при попытке использовать его, например: [~ ...
вопрос задан: 12 November 2010 22:19
0
ответов
Распознавание клавиш со стрелками с помощью stdin
, возможно ли иметь кроссплатформенный способ обработки клавиш возврата и клавиш со стрелками в программе C или OCaml? На самом деле решение OCaml было бы полезно, но многие стандартные функции unix ...
вопрос задан: 10 November 2010 13:59
0
ответов
Сопоставление с образцом, возвращающее строковое представление математического выражения
I нужно написать дамп функции, который принимает выражение типа expression = | Int из int
| Поплавок
| Добавить выражение * выражение
| Подложка выражения * выражение
| Множество выражений * ...
вопрос задан: 9 November 2010 14:37
0
ответов
Производительность стека в языках программирования
Ради интереса я попытался сравнить производительность стека нескольких языков программирования, вычисляющих ряд Фибоначчи с использованием наивного рекурсивного алгоритма. Код в основном один и тот же во всех ...
вопрос задан: 8 November 2010 23:40
0
ответов
Разница между модулем = struct .. end и типом модуля = struct .. end?
module = struct .. конец;; тип модуля = struct (* должен был быть sig *) .. end ;;
вопрос задан: 28 October 2010 22:13
0
ответов
Проверка размера записи в ocaml?
Есть ли способ проверить размер записи в Ocaml? Что-то вроде sizeof C / C ++?
вопрос задан: 28 October 2010 12:33
0
ответов
Копирование полей в OCaml
У меня очень простой вопрос относительно записей OCaml. Предположим, у меня есть определенная запись: type r = {a: int; b: int; c: int}
let x = {a = 3; b = 8; c = 2} Теперь предположим, что я хочу создать новую запись, в которой есть все ...
вопрос задан: 26 October 2010 17:06
0
ответов
транспонирование списка списков
Я пытаюсь создать рекурсивную функцию для транспонирования списка списков nxp в px n. Но я не могу этого сделать. Мне удалось создать функцию для транспонирования списка списков размером 3 xn в nx ...
вопрос задан: 21 October 2010 16:35
0
ответов
ExitCode, равный -1, возвращен в C #
В моем приложении C # я запускаю программу, использующую расширение. NET Process класс. Иногда после завершения программы Process.ExitCode равен -1. Это большая программа, и у меня проблемы ...
вопрос задан: 21 October 2010 05:34
0
ответов
Перечисление всех пар, которые можно построить из двух ленивых списков в OCaml
Я пытаюсь перечислить набор всех пар, состоящих из элементов из двух ленивых списков (первый элемент из первого списка, второй элемент из второго списка) в OCaml, используя обычную диагонализацию ...
вопрос задан: 19 October 2010 09:19
0
ответов
Преобразование из десятичной в двоичную в Ocaml
Я пытаюсь преобразовать данное десятичное значение в соответствующую двоичную форму. Я использую Ocaml, о котором я мало что знаю, и я совершенно сбит с толку. Пока у меня есть следующий код, позволяющий ...
вопрос задан: 18 October 2010 07:02
0
ответов
OCaml: Есть ли функция с типом 'a ->' кроме функции идентификации?
Это, кстати, не вопрос домашнего задания. Об этом рассказали в классе, но мой учитель ничего не мог придумать. Спасибо.
вопрос задан: 16 October 2010 03:05
0
ответов
Определение исключений с кортежем в качестве аргумента
Я пытаюсь определить исключение в OCaml, которое принимает пару списков кортежей в качестве аргумента . Однако эта ситуация не работает? # исключение Foo из списка строк * список строк ;; исключение Foo of ...
вопрос задан: 15 October 2010 07:41
0
ответов
Вывод типа с взаимной рекурсией
Я думал о том, как вывод типа работает в следующей программе OCaml: let rec fx = (gx ) + 5
и gx = f (x + 5) ;; Конечно, программа совершенно бесполезна (бесконечный цикл), но что ...
вопрос задан: 12 October 2010 10:41
0
ответов
Каковы плюсы и минусы батарей и ядра? [закрыто]
В мире OCaml в настоящее время, похоже, существует ряд конкурирующих расширений стандартной библиотеки, из которых, насколько я могу судить, основными являются Batteries и Jane Street Core (насколько я понимаю ...
вопрос задан: 8 October 2010 09:06
0
ответов
Несвязанные модули в OCaml
Моя проблема в том, что ocamlc и ocamlopt отказываются найти сторонние библиотеки, установленные через apt-get. Впервые у меня возникла эта проблема, когда я попытался включить сторонние модули ...
вопрос задан: 3 October 2010 18:39
0
ответов
Почему int в OCaml всего 31 бит?
Эту «особенность» больше нигде не видел. Я знаю, что 32-й бит используется для сборки мусора. Но почему это так только для целых чисел, а не для других базовых типов?
вопрос задан: 22 September 2010 22:30
0
ответов
Гарантия присвоения возвращаемому значению функции в OCaml
Переходя к OCaml из Lisp, я очень смущен тем, когда функции возвращаются, а когда нет. Я скучаю по своей волшебной цитате! К счастью, в большинстве случаев OCaml, кажется, автоматически знает, когда я ...
вопрос задан: 12 September 2010 23:56
0
ответов
Самоанализ функциональных языков программирования
Я делаю набросок дизайна чего-то (машинное обучение функций), для которого предпочтительно нужен язык функционального программирования, а также самоанализ, в частности способность исследовать program '...
вопрос задан: 7 September 2010 17:12
0
ответов
Условная компиляция в OCaml
предполагает, что у меня есть длинный алгоритм, который я хотел бы опционально использовать для его отладки. До сих пор я просто добавил много, если многословно, то printf «что угодно» по всему коду, но это заставляет код ...
вопрос задан: 1 September 2010 03:43
0
ответов
Почему нажатие клавиши numlock приводит к сбою программы OCaml opengl?
У меня нет опыта работы с openGL так что, может быть, я просто что-то упустил. У меня есть этот код ocaml, используя lablGL. Для компиляции я использую ocamlopt -I + lablGL lablglut.cmxa lablgl.cmxa gl.ml -o gl.opt или ...
вопрос задан: 14 August 2010 22:19