0
ответов
Распечатать список в OCaml
Я хочу сделать что-то очень простое: напечатать список. let a = [1; 2; 3; 4; 5] Как я могу распечатать этот список в стандартном выводе?
вопрос задан: 3 February 2012 20:16
0
ответов
Расширение неизменяемых типов (или: быстрый кеш для неизменяемых типов) в OCaml
У меня есть рекурсивная неизменяемая структура данных в ocaml, которую можно упростить примерно так: type expr знак равно
{eexpr: expr_expr; some_other_complex_field: a_complex_type;
} и ...
вопрос задан: 3 February 2012 01:20
0
ответов
Время работы в Ocaml
Как определить, сколько времени занял мой код в ocaml? есть ли функции для измерения этого?
вопрос задан: 30 January 2012 08:59
0
ответов
Определить рекурсивные сигнатуры для модулей
Я знаю, что можно определить рекурсивные модули, кто-нибудь знает, как определить рекурсивные сигнатуры? Например, я хотел бы реализовать: module type AAA = sig module Bbb : BBB type 'a ...
вопрос задан: 30 January 2012 02:10
0
ответов
Как установить каталог по умолчанию для компиляции в Emacs?
Я кодирую OCaml под Emacs, у меня есть один make-файл в рабочей папке и несколько подпапок, содержащих файлы .ml. Если я запускаю компиляцию Mx и make работает нормально с буфером make-файла, но ...
вопрос задан: 27 January 2012 17:58
0
ответов
Можно ли использовать каналы в OCaml?
В F # я не могу жить без каналов (<| и |>) let console (dashboard: Dashboard ref) = let rec eat (command: string) = command .Split ('', '(', ')') |> Seq.filter (fun s - & ...
вопрос задан: 25 January 2012 15:54
0
ответов
Как визуализировать / рисовать автоматы в ocaml?
Я занимаюсь компоновкой автоматов. Итак, в конце я хочу также нарисовать составные автоматы. Есть ли в ocaml для этого какие-нибудь библиотеки? или есть обертки ocaml, написанные для любого графа ...
вопрос задан: 25 January 2012 08:21
0
ответов
Равенство в хэш-таблицах Ocaml
Есть ли в Ocaml хэш-таблицы, которые используют == вместо = при проверке равенства ключей? Например: # введите foo = A of int ;;
# let a = A (1) ;;
# let b = A (1) ;;
# a == b ;;
-: bool = false
# a = b ;;
...
вопрос задан: 23 January 2012 13:42
0
ответов
Как определить работающую операционную систему?
Как определить тип системы / операционную систему в OCaml? Моя нынешняя идея действительно странная. Выполнение системного вызова: "uname -a" с let syscall? (Env = [| |]) cmd = let ic, oc, ec = Unix ....
вопрос задан: 23 January 2012 04:56
0
ответов
Hashtables в ocaml
Можно ли хранить разные типы в одной и той же хэш-таблице (Hashtbl) в Ocaml? Действительно ли хэш-таблицы ограничены только одним типом?
вопрос задан: 22 January 2012 17:07
0
ответов
Два поля двух записей имеют одинаковую метку в OCaml
Я определил два типа записей: type name = {r0: int; r1: int; c0: int; c1: int; тип: dtype; uid: uid (* key *)} и func = {name: string; тип: dtype; params: var ...
вопрос задан: 19 January 2012 15:46
0
ответов
Объем конструкторов модуля в OCaml
Я определил следующий интерфейс и модуль: тип модуля TYPE = тип sig t конечный модуль Type = (тип структуры t = | TBot | T of int | TTop
end: TYPE) Теперь я понимаю, что если я ...
вопрос задан: 19 January 2012 09:45
0
ответов
Полиморфный тип внутри модуля (OCaml)
Я просто определяю модуль Matrix следующим образом: модуль Matrix = struct type element type t = element array array let make (nr: int) (nc: int) (init: element) : t = let result = Array....
вопрос задан: 15 January 2012 12:58
0
ответов
Где разместить общий служебный модуль в OCaml?
У меня есть файл Tools.ml, который содержит некоторые общие служебные функции, которые я написал сам. В разделе ... / Code / у меня есть несколько папок, каждая из которых содержит проект. У меня вопрос, где мне разместить эти инструменты ....
вопрос задан: 2 January 2012 05:38
0
ответов
Как я могу реализовать чисто функциональную стандартную двоичную кучу (ocaml или haskell)?
Существуют ли какие-либо реализации чисто функционального стандарта двоичная куча? Я знаю, что есть много интересных куч, например: Биномиальная, левая куча, все они имеют функциональную реализацию, просто интересно ...
вопрос задан: 2 January 2012 02:23
0
ответов
Доступен двоичный файл Frama-C для Windows?
Я хочу поэкспериментировать с проектом с открытым исходным кодом Frama-C и хотел бы установить инструменты на компьютере с Windows 7. Похоже, что в предыдущих версиях есть бинарные установщики для ...
вопрос задан: 1 January 2012 19:42
0
ответов
Нет конструктора типов для типов записей?
Я переводил следующий код Haskell в OCaml: data NFA qs = NFA
{intialState :: q
, isAccepting :: q -> Bool
, transition :: q -> s -> [q]
} Сначала я попробовал очень дословно ...
вопрос задан: 29 December 2011 00:12
0
ответов
Расширение модуля из Map в OCaml
У меня есть модуль StringMap, созданный функтором Map.Make с заданным типом String: module StringMap = Map.Make (String) Помимо обычных операций, предоставляемых Map, я хотел бы чтобы добавить больше определений ...
вопрос задан: 28 December 2011 12:18
0
ответов
OCaml в корпоративном стеке [закрыто]
Я пытаюсь понять, как OCaml представлен в корпоративном технологическом стеке. Например, есть ли в Ocaml собственная очередь сообщений предприятия или механизм рабочего процесса? Так что, может кто-нибудь посоветовать мне фреймворки ...
вопрос задан: 28 December 2011 10:48
0
ответов
OCaml: цикличность между типом варианта и определением модуля
Я переключаюсь с Haskell на OCaml, но у меня возникают некоторые проблемы. Например, мне нужно определение типа для регулярных выражений. Я делаю это с помощью: type re = EmptySet | EmptyWord | Symb of char ...
вопрос задан: 18 December 2011 23:03
0
ответов
Время выполнения процедуры append - O(n)?
Например, в OCaml при добавлении элемента в список длины n. x@[mylist]
вопрос задан: 15 December 2011 20:58
0
ответов
Окамл: Плохой стиль, все пункты в этом сопоставлении с образцом защищены.
Я получаю «Ошибка: предупреждение 25: неправильный стиль, все предложения в этом сопоставлении с шаблоном защищены» Что означает «охраняемый»? В моем коде есть сопоставление с образцом - сопоставить z с | y, когда List.length z = 0 -> ......
вопрос задан: 15 December 2011 08:39
0
ответов
Ocaml - Файлы и парсинг
Как читать содержимое из файла в ocaml? Конкретно как их разобрать? Пример: предположим, что файл содержит (a, b, c); (b, c, d) | (a, b, c, d); (b, c, d, e) | после прочтения мне нужны два списка, содержащие ...
вопрос задан: 15 December 2011 07:16
0
ответов
Порядок линкованных библиотек в ocamlbuild
У меня проблема с порядком добавления библиотек в компоновщик. Библиотеки, ранее собранные ocamlbuild, подключаются после списка библиотек, который я включил в правило флага. И, ...
вопрос задан: 14 December 2011 17:00
0
ответов
ocaml% identity function
Мне интересно, зачем нам нужна функция типа "% identity", аналогичная let a = a. Собирается ли с его помощью повысить производительность? Я ввожу в свою программу фантомную типизацию, вызывая identity ...
вопрос задан: 12 December 2011 23:52
0
ответов
порядок объявления в let-привязках, Haskell vs OCaml
В Haskell порядок объявления в конструкциях let / where не имеет значения, например: fx = let g1 xy = if x> y then show x else g2 yx g2 pq = g1 qp in ... где g2 используется в g1 .. .
вопрос задан: 6 December 2011 10:52
0
ответов
Как вы добавляете char к строке в OCaml?
Похоже, что в стандартной библиотеке нет функции типа char -> string -> string, которая вставляет char перед (или в конце) строки. Существуют обходные пути, например, использование ...
вопрос задан: 4 December 2011 22:30
0
ответов
Проверка подстроки в Ocaml
Может ли кто-нибудь помочь мне в написании кода эффективной проверки подстроки в OCaml? Учитывая две строки, проверьте, содержит ли первая вторую? Можем ли мы это сделать с помощью модуля Str?
вопрос задан: 4 December 2011 16:08
0
ответов
В OCaml какой канонический способ сопоставления с несколькими аргументами функции?
Можно сопоставить с несколькими аргументами функции, создав кортеж и затем деструктурировав его в выражении соответствия: let f x y = match x, y with | pattern1 -> expr1 | ... ....
вопрос задан: 27 November 2011 14:39
0
ответов
В чем разница с обратной кавычкой «« »или без нее?
type level =
[` Debug
| `Информация
| `Предупреждение
| `Ошибка] Могу ли я удалить здесь знак" `"? Искренне!
вопрос задан: 22 November 2011 02:54