Допустим, у меня есть этот простой тип варианта: type flag = { name: string; payload: string...
Я понимаю, что let apply f x = f x имеет тип ('a -> 'b) -> 'a -> 'b...
У меня есть эта прога parsetreetest.ml: let ()= let filename = "test.ml" in Location
Я пытаюсь доказать следующую лемму в Coq: Require Import Lists.List. Import ListNotations. Lemma...
В качестве побочного проекта я пытаюсь реализовать основы библиотеки RDF в OCaml. Как вы можете...
У меня есть следующий список подсписков [[1;5;10]; [2;6;11]; [3;7;12]]; Я пытаюсь создать следующий...
Я работаю над назначением переводчика в OCaml, в котором мне нужно связать значения.Например, мне...
У меня есть вопрос об использовании локальной функции в глобальной функции. Я попытался написать...
Итак, я сейчас пытаюсь выяснить, как написать функцию, в которой она берет 2 списка одинаковой...
Я создаю файл .cma с: ocamlc -o ./_build/myLib.cma -a ./_build/myBtree.cmo Но, как ни старайся, я...
Я слежу за этим сообщением в блоге: http://semantic -domain.blogspot.com / 2012/12 /...
Какова лучшая интуиция, почему первое определение будет отклонено, а второе будет принято? let rec...
У меня проблемы с запуском тестов oUnit, в основном из-за того, что я новичок как в дюне, так и в...
В utop я могу получить исходное местоположение для определения типа, скажем, result? utop #...
Я не знаю, как влияет опция dsource на ocamlc. опция -h говорит мне, что она недокументирована Я...
У меня есть следующий список 2d [ [a1 ; a2 ; a3 ; a4] ; [b1 ; b2 ; b3 ; b4] ; [c1 ; c2 ; c3 ; c4] ]...
Мне нужно закодировать список в OCaml. Команда: encode ['a', 'a', 'b', 'b', 'b', 'c'] ;; должен...
У меня есть это определение деревьев, данное в OCaml type 'a tree = Node of 'a * 'a...
Я хочу проверить, сбалансировано ли дерево (это означает, что каждый лист находится на одной...
Я хочу реализовать функцию уровней для двоичного дерева, которая преобразует двоичное дерево в...
Я хочу добавить узлы дерева в список в предзаказе без объединения списков. type 'a bintree =...
У меня часто бывает что-то похожее на следующее (стандартное определение типа для деревьев): match...
В Scala есть оператор ???, который позволяет компилятору продолжать работу, не жалуясь на то, что...
Я хочу написать функцию, которая принимает последовательность и возвращает последовательность с...
В настоящее время я использую ocaml 4.06.0 и пытаюсь использовать спутниковый решатель Z3.Я...