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

Вот код: module type S = sig type t val do_it: t -> int -> t end let rec foo (type a) (module...

Каждый раз, когда я использую List.init Я получаю ошибку Error: Unbound value List.init Я думаю,...

Я новичок в Linux и OCAML.Я понял, что заставить OCaml работать на Windows не так просто.Я нашел...

let _ = try ("hello"; ()) with | _ -> print_endline "hi" Компиляция этого...

У меня есть type 'a edge = {from: 'a; destination: 'a; weight: int} , и я хочу,...

У меня есть вопрос относительно потока выполнения в рекурсивных функциях в OCaml.Это сценарий: У...

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

type 'a tree = | Leaf of 'a | Node of 'a * 'a tree * 'a tree let rec...

ocaml 4.01.0 + ocp1 в windows 10 Впервые в ocaml я столкнулся с интересным поведением в toploop:...

Я загрузил очень маленький пример проекта в github репозиторий У меня есть школьный проект.В...

У меня есть функция OCaml для поиска фиксированных точек: >> let rec fix f x = let x' =...

У меня есть зависимость с именем 'sets', которая была построена в локальном каталоге 'dep / sets'....

У меня есть следующий код (который работает): type a = A of int let print = ref (fun _ -> ())...

0.0 == 0.0 равно false, когда я выполняю это выражение в интерактивном REPL: $ ocaml OCaml version 4

Я знаю, что в OCaml мы не можем изменить значение переменной по умолчанию.Например, мы не можем...

У меня вопрос: как мне преобразовать список пары строк и целых в список пар строк и int. Например,...

Вот мой код: type mass = Inf | P of int let som = fun |Inf _ | _ Inf -> Inf | (P a) (P b) ->...

Мои данные упорядочены следующим образом: ([(x1,y1,z1);(x2,y2,z2);(x3,y3,z3);........;(xn,yn,zn)],...

Я пытаюсь реализовать односвязный список (очередь) в OCAML, что очень сложно и не так интуитивно...

Работал на примере шаблона проектирования под названием Constructor + View автора, который был...

Я хочу удалить элементы из списка, которые больше, чем число n. let rec remove_greater lst n = Я...

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

Вот мой код: type noeud = Lettre of (char * bool * arbre_lex) and arbre_lex = noeud list exception...

Я хочу определить тип модуля, который зависит от других модулей.Я думал, что смогу сделать это с...