Вопросы с тегом OCaml - PullRequest

Вопросы с тегом OCaml

1 голос
1 ответ

Я пытаюсь выяснить, почему это не работает, я получаю сообщение об ошибке: синтаксическая ошибка.Я...

Jane / 03 января 2012
2 голосов
1 ответ

%yaourt -Qi ocaml-ocsigenserver name   : ocaml-ocsigenserver version  : 2.0.2-1 URL : http://ocsigen

z_axis / 02 января 2012
2 голосов
1 ответ

Я хотел бы определить оператор l_op : A list * A list -> A list, для реализации которого...

SoftTimur / 02 января 2012
0 голосов
2 ответов

Просто интересно, есть ли способ реализовать операцию heapify в функциональном стиле? Предположим,...

Ang / 02 января 2012
12 голосов
3 ответов

Есть ли реализации чисто функциональной стандартной двоичной кучи?Я знаю, что есть много интересных...

Ang / 02 января 2012
3 голосов
2 ответов
5 голосов
1 ответ

Я хочу поэкспериментировать с проектом с открытым исходным кодом Frama-C и хотел бы установить эти...

Bryan C. / 01 января 2012
2 голосов
3 ответов

Как найти точное совпадение с помощью регулярного выражения в Ocaml? Например, у меня есть такой...

maths-help-seeker / 30 декабря 2011
1 голос
1 ответ

Я хочу спросить о транзитивном замыкании и сортировке в классах эквивалентности. У меня есть...

Quyen / 30 декабря 2011
12 голосов
1 ответ

У меня есть файл Tools.ml, который содержит некоторые общие служебные функции, которые я пишу сам

SoftTimur / 29 декабря 2011
7 голосов
2 ответов

Я переводил следующий код на Haskell в OCaml: data NFA q s = NFA { intialState :: q , isAccepting...

aneccodeal / 29 декабря 2011
3 голосов
3 ответов

У меня есть рекурсивная функция fact, которую можно вызывать либо из выражения внутри нее, либо из...

SoftTimur / 28 декабря 2011
5 голосов
1 ответ

У меня есть модуль StringMap, построенный функтором Map.Make с типом String: module StringMap = Map

SoftTimur / 28 декабря 2011
3 голосов
1 ответ

Мне нужно определить матрицу типа int как тип. Столбец или строка матрицы представляют city,...

SoftTimur / 27 декабря 2011
4 голосов
2 ответов

Некоторое время назад я понял, что Guile и Racket могут быть встроены и вызываться прямо из любого...

Cynede / 26 декабря 2011
4 голосов
2 ответов

Скажем, у меня есть mylibrary.ml, который предоставляет обертки для library.c, и я хочу...

Sampo Smolander / 25 декабря 2011
2 голосов
2 ответов

(в Окамле) Это решение работает let compress l = let rec compress_2 l e = match l with | [] ->...

Aspen / 24 декабря 2011
3 голосов
1 ответ

У меня есть функция, которая принимает (int * int list) list к логической матрице. Я проверил мой...

Quyen / 22 декабря 2011
4 голосов
3 ответов

например: когда я хочу составить список целых чисел: [1, 2, 3] с x, мой код: [1, 2, 3] @ [x] но в...

Quyen / 22 декабря 2011
3 голосов
1 ответ

type node = { lan: string; lat: string; };; let rec read_nodes_from_list list = match list with |...

Steve / 22 декабря 2011
21 голосов
1 ответ

Мне любопытно узнать, как обрабатываются исключения во время выполнения OCaml, чтобы сделать их...

Waneck / 19 декабря 2011
13 голосов
1 ответ

Я пытаюсь загрузить свои модули в .cmo на верхний уровень, я пытался: $ ocaml mymodule.cmo Я...

romerun / 18 декабря 2011
7 голосов
1 ответ

Я переключаюсь с Haskell на OCaml, но у меня есть некоторые проблемы. Например, мне нужно...

vegetus / 18 декабря 2011
6 голосов
4 ответов

Например, в OCaml, когда вы добавляете элемент в список длиной n. x@[mylist]

Aspen / 16 декабря 2011
3 голосов
2 ответов

Например, если у вас есть функция (fun x -> x+1), и вы хотите сопоставить ее с [1; 2; 3].Но вы...

Aspen / 15 декабря 2011
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...