0
ответов

Составные функции в ocaml

Как я могу определить составную функцию на функциональном языке, в частности с Ocaml? Например, если я напишу функцию, которая вычисляет отрицание результата другой функции, то есть: ...
вопрос задан: 14 February 2011 21:50
0
ответов

OCaml и схема для разработки игр

Этот вопрос больше ориентирован на особенности языка, а не на кодирование. Не могли бы вы сказать мне, какой язык лучше (OCaml или Scheme ??) использовать для базовой разработки игр? Мои знания ...
вопрос задан: 12 February 2011 11:59
0
ответов

Подойдет ли Haskell для моей задачи?

Я начинаю новый проект и не знаю, какой язык использовать. Мои «обязательные» требования: иметь возможность запускать в Windows / Linux MacO изначально (собственный исполняемый файл) - пользователь должен иметь возможность просто запускать ...
вопрос задан: 11 February 2011 13:20
0
ответов

Как используются слабые массивы?

Вопрос говорит обо всем. У меня есть структура данных, которую я не могу маршалировать из-за слабой хеш-таблицы ... интересно, могу ли я избавиться от нее :)
вопрос задан: 8 February 2011 13:40
0
ответов

Writing a function with type 'a -> string

For debugging purposes I'd like to have a function in OCaml that converts to string arbitrary type, the debugger currently has one, but it'd be cool to have one. The sexplib library would be perfect, ...
вопрос задан: 8 February 2011 09:26
0
ответов

Ocaml: Экспорт типа в файл mli

У меня есть файл context.ml, в котором определена карта, модуль CtxMap = Map.make (тип структуры t = int let compare = compare end) и функцию map_get с типом CtxMap.key -> 'a CtxMap.t ->' a Как сделать ...
вопрос задан: 2 February 2011 21:57
0
ответов

Оптимизация со складками

Мне просто любопытно, есть ли какие-либо ( только полиморфизм первого порядка) оптимизации со складками. Для карт есть вырубка леса: map g (map f ls) => map (g. F) ls и rev (map f ls) => rev_map f ...
вопрос задан: 31 January 2011 14:06
0
ответов

Как быстро распечатать древовидную структуру в строке в Ocaml?

Предположим, у меня есть математическое выражение в форме «дерева» в OCaml. Он представлен как алгебраический тип следующим образом: type expr = Number of int | Plus of expr * expr Что ж, это очень ...
вопрос задан: 30 January 2011 22:12
0
ответов

Какие типы стандартной библиотеки OCaml нельзя упорядочить?

У меня сбой при маршалинге структуры данных (абстрактный тип ошибки (пользовательский)). Используется один известный абстрактный тип, а именно Big_int. Однако с маршалами все в порядке. Нет специального кода C в ...
вопрос задан: 30 January 2011 16:21
0
ответов

Кросс-разработка графического интерфейса в OCaml с естественным внешним видом

Я хотел бы создать графический интерфейс для приложения OCaml, которое я пишу. Моей первой идеей было использовать GTK +. Я бы хотел, чтобы мое приложение работало на Mac, Linux, Windows с естественным внешним видом. Я знаю, что ...
вопрос задан: 28 January 2011 15:08
0
ответов

Android: Как программно добавить кнопку для просмотра

В своей деятельности Android я создаю настраиваемое представление, расширяющее SurfaceView (с использованием MonoDroid с небольшими вариациями синтаксиса): класс FriendsView: SurfaceView 8], и я хочу, чтобы образец совпадал с первыми тремя элементами сра
вопрос задан: 23 January 2011 19:50
0
ответов

Рекурсивные типы в OCaml?

Привет, это моя первая публикация в Stack Overflow, и я столкнулся с проблемой при попытке построить тип в OCaml. Я пытаюсь построить дерево типов с узлами / листами и т. д. Это то, что я ...
вопрос задан: 22 January 2011 20:58
0
ответов

Почему требуется наличие подписей во взаимно рекурсивных модулях в OCaml?

При использовании взаимно рекурсивных определений модулей в OCaml необходимо давать подписи даже в. ml файл.Это раздражает, когда я также хочу раскрыть данный интерфейс из .mli, поскольку ...
вопрос задан: 19 January 2011 18:59
0
ответов

Я хочу сделать 2 действия после оператора «then» в операторе «if .. then .. else»

let rec filtersList2fromList1 (List1: список строк) (List2: string list): string list = let finalList = [] в соответствии с List1 с | s :: tl -> если List.mem s List2 = true, то finalList @ [s] ...
вопрос задан: 15 January 2011 13:30
0
ответов

Топологическая сортировка в OCaml

Я пытаюсь написать топологическую сортировку в ocaml, но я новичок (в OCaml & алгоритмы графиков), и я не могу сделать это сам. Мне проще думать о топологической сортировке в, потому что ...
вопрос задан: 12 January 2011 02:25
0
ответов

Чтение HTML-содержимого URL-адреса в OCaml

Я хотел бы написать функцию OCaml, которая принимает URL-адрес и возвращает строку, состоящую из содержимого HTML-файла по адресу это место. Есть идеи? Большое спасибо! Лучший, Сурикатор.
вопрос задан: 7 January 2011 00:30
0
ответов

Существует ли инструмент OCaml для поддержки использования передовых методов, таких как модуль Perl :: Critic Perl?

Существует ли инструмент, который анализирует программы OCaml и предлагает некоторые улучшения в стиле а код? В мире Perl все еще существует Perl :: Critic, чтобы избежать плохого стиля. Мне нужны ...
вопрос задан: 3 January 2011 19:44
0
ответов

Проблема с сопоставлением с образцом в ocaml

Я написал функцию, используемую для разложения логической функции, проблема в том, что при компиляции я получаю следующее: «Предупреждение 5: Как можно ...
вопрос задан: 28 December 2010 21:23
0
ответов

Ocaml + LLVM под cygwin (или, в более общем смысле, статическое связывание с объектными файлами C в cygwin)?

Все тесты для привязок Ocaml (которые устанавливаются автоматически, если вы делаете LLVM с уже установленным Ocaml) терпят неудачу в cygwin, и когда я пытаюсь создать даже самую тривиальную программу, Я получаю ...
вопрос задан: 26 December 2010 22:14
0
ответов

функция игнорирования в OCaml

на странице 95 книги под названием «Разработка приложений с целевой камерой» let imap fl = let l_res = icreate () in while not (iempty l) do ignore (icons (f (ihd l)) l_res); ignore (...
вопрос задан: 22 December 2010 21:46
0
ответов

Разворачивать кортеж в OCaml

Есть ли способ применить функцию к членам кортежа в качестве аргументов функции? Или, если нет, могу ли я как-нибудь создать функцию с произвольным числом аргументов и в ее теле применить какую-то другую функцию к ...
вопрос задан: 20 December 2010 03:03
0
ответов

Краткий способ передать лямбда-функцию нулевой арности в OCaml

Есть какой-нибудь короткий способ передать функцию нулевой арности другой функции. А пока делаю так: let fabc = ... ;; a (fun () -> fabc) Есть ли какой-нибудь синтаксический сахар для второй строки?
вопрос задан: 18 December 2010 19:12
0
ответов

Reference to current module in OCaml

Is there any kind of keyword, like this, to refere to a current module? For example, what should I put in gap here: module Test: Test_Type = struct module N = Test_Outside(___);; end;; Where ...
вопрос задан: 17 December 2010 23:20
0
ответов

Соответствует одному элементу в Списке кортежей

У меня есть Список кортежей в форме (строка, целое число). Я пытаюсь выполнить поиск в списке и вернуть кортеж, строковый компонент которого соответствует параметру, например: let find_tuple имя_строки ...
вопрос задан: 17 December 2010 17:28
0
ответов

selectionStart для элементов, не являющихся текстовыми областями

$ (element) [0] .selectionStart, похоже, работает только для текстовых областей. Есть ли альтернатива для нетекстовых областей. Я пытаюсь обернуть строки в элементах DOM тегами (жирным, курсивом ...) Кроме того, как мне отменить ...
вопрос задан: 15 December 2010 19:11
0
ответов

type of high order functions

if I specify the (I think) correct type for a high order function the OCaml compiler rejects the second usage of that function. The code let foo ():string = let f: ('a -> string) -> 'a -> ...
вопрос задан: 14 December 2010 20:34
0
ответов

Является ли эта реализация хвостовой рекурсивной

Я читал в алгоритмической книге, что функцию Аккермана нельзя сделать хвостовой рекурсивной (они говорят, что "ее нельзя преобразовать в итерацию "). Я довольно озадачен этим, поэтому я попытался и ...
вопрос задан: 12 December 2010 22:42
0
ответов

В чем преимущество чисто функциональной структуры данных?

Существует большое количество текстов по структурам данных и библиотек кода структур данных. Я понимаю, что проще рассуждать о чисто функциональной структуре данных. Однако у меня проблемы с ...
вопрос задан: 9 December 2010 15:42
0
ответов

Разница в месяцах для Javascript

Как рассчитать разницу в месяцах в Javascript? Обратите внимание, есть похожие вопросы, такие как: Как лучше всего рассчитать разницу в датах в Javascript? Но они основаны на…
вопрос задан: 30 November 2010 10:48
0
ответов

В чем разница между 'a и' _l?

В чем разница между 'a и' _l? Я смотрел на эту ошибку и не мог ее понять: Ошибка: Это выражение имеет список типов ('a -> float polynomial), но ожидалось выражение ...
вопрос задан: 22 November 2010 11:04