Результаты поиска по запросу "ocaml"
Два поля двух записей имеют одинаковую метку в OCaml
Я определил два типа записей: type name = { r0: int; r1: int; c0: int; c1: int; typ: dtype; uid: uid (* key *) } and func = { name: string; typ: dtype; params: var list; body: block }И позже я получил ошибку для строки кода:Error: The record ...
Список реверсивный в Окамле
Как отменить даже подсписки списка, если мы предположим, что мы считаем элементы с 0. Я хочу, чтобы решение было «закодировано вручную». У меня большая проблема с этой задачей. Например: Function([[1;2;3] ; [2;3] ; [1;2;3] ; ...
Можно ли использовать трубы в OCaml?
В F # я не могу жить без труб (<| а также|>) let console(dashboard : Dashboard ref) = let rec eat (command : string) = command.Split(' ','(',')') |> Seq.filter(fun s -> s.Length <> 0) |> fun C -> (Seq.head C).ToUpper() |> fun head ->Могу ли я ...
Как установить default-каталог компиляции в Emacs?
Я кодирую OCaml под Emacs, у меня есть одинmakefile в рабочей папке и нескольких подпапках, содержащих.ml файлы. Если я запускаюM-x compile а такжеmake отлично работает на буфереmakefile, но не работает с буфером.ml файл, он дает мне ошибку: -*- ...
Несоответствующие предположения относительно интерфейса (Ocaml)
Я вдруг начал получать эту ошибку. Я не знаю, как диагностировать или исправить это. Я должен пройти черезbar.ml и проверить каждую функцию Big_int на наличие подписи вBig_int.mli? File "foo.ml", line 1, characters 0-1: Error: The files ...
Инструменты для профилирования кода OCaml
Кто-нибудь знает программы для профилирования кода OCaml, кроме использования опции -p во время компиляции и последующего использования gprof? Я задаю этот вопрос, чтобы проверить, можно ли еще уменьшить время выборки 0,01 секунды?
Хвост рекурсивная функция, чтобы найти глубину дерева в Ocaml
У меня есть типtree определяется следующим образом type 'a tree = Leaf of 'a | Node of 'a * 'a tree * 'a tree ;;У меня есть функция, чтобы найти глубину дерева следующим образом let rec depth = function | Leaf x -> 0 | Node(_,left,right) -> 1 + ...
Какой урок английского вы посоветуете для изучения OCaml? [закрыто]
Я хочу рекламировать OCaml для начинающих, и я ищу хорошие учебники на английском языке; не то, что вы только слышали, а то, что вы на самом деле пытались и нашли полезным ...
Варианты или полиморфные варианты?
Я заметил, что среди программистов OCaml, которых я знаю, некоторые из нихвсегда использовать полиморфные варианты (варианты, которые не объявлены, с префиксом обратной кавычки), в то время как другиеникогда используйте полиморфные варианты и ...
Функторы OCaml :: нелогичное поведение
Я экспериментирую с языком модулей OCaml (3.12.1), определяю функторы и сигнатуры для модулей и так далее, в основном следуя примерам изГлава 2 руководства OCaml [http://caml.inria.fr/pub/docs/manual-ocaml/manual004.html]и я случайно наткнулся на ...